summaryrefslogtreecommitdiffstats
path: root/pkgs/development/libraries/agda
AgeCommit message (Expand)Author
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen
2016-05-23Revert "Merge pull request #15595 from laMudri/agda-stdlib"Joachim Fasting
2016-05-21Agda: marked some old packages as brokenlaMudri
2016-05-21agda-prelude: 2014-09-27 -> 2016-04-18laMudri
2016-05-21agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri
2015-09-04categories: mark as broken cc #9471Domen Kožar
2015-05-31agda-stdlib: update to 2.4.2.3 branchMateusz Kowalczyk
2015-05-20agda: the Iowa stdlib seems to be behind a private SVN nowJohn Ericson
2015-04-06agda: migrate to haskell-ng, update and cleanupNikolay Amiantov
2015-01-08Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar
2015-01-02Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar
2014-12-03agda-pretty: update darcs revisionMateusz Kowalczyk
2014-12-03agda-TotalParserCombinators: update darcs revisionMateusz Kowalczyk
2014-11-20agda-TotalParserCombinators: mark as brokenMateusz Kowalczyk
2014-11-20agda-pretty: mark as brokenMateusz Kowalczyk
2014-11-18agda-iowa-stdlib: update to r18734Mateusz Kowalczyk
2014-11-17agda-iowa-stdlib: mark as brokenMateusz Kowalczyk
2014-10-02agda-base: new packageMateusz Kowalczyk
2014-09-28agda-iowa-stdlib: renamed from aaron-stump-stdlibMateusz Kowalczyk
2014-09-27agda-aaron-stump-stdlib: new packageMateusz Kowalczyk
2014-09-27agda-pretty: new packageMateusz Kowalczyk
2014-09-27agda-TotalParserCombinators: new packageMateusz Kowalczyk
2014-09-27agda-prelude: new packageMateusz Kowalczyk
2014-09-16agda-categories: add packageMateusz Kowalczyk
2014-09-11agda: add bitvectorMateusz Kowalczyk
2014-09-11agda-sheaves: use lib.licensesMateusz Kowalczyk
2014-09-11agda: add Agda-SheavesMateusz Kowalczyk
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 00:44:05 +0000