summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
Commit message (Expand)AuthorAge
* Agda: marked some old packages as brokenlaMudri2016-06-07
* agda-prelude: 2014-09-27 -> 2016-04-18laMudri2016-06-07
* agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri2016-06-07
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* Revert "Merge pull request #15595 from laMudri/agda-stdlib"Joachim Fasting2016-05-23
* Agda: marked some old packages as brokenlaMudri2016-05-21
* agda-prelude: 2014-09-27 -> 2016-04-18laMudri2016-05-21
* agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri2016-05-21
* categories: mark as broken cc #9471Domen Kožar2015-09-04
* agda-stdlib: update to 2.4.2.3 branchMateusz Kowalczyk2015-05-31
* agda: the Iowa stdlib seems to be behind a private SVN nowJohn Ericson2015-05-20
* agda: migrate to haskell-ng, update and cleanupNikolay Amiantov2015-04-06
* Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar2015-01-08
* Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar2015-01-02
* agda-pretty: update darcs revisionMateusz Kowalczyk2014-12-03
* agda-TotalParserCombinators: update darcs revisionMateusz Kowalczyk2014-12-03
* agda-TotalParserCombinators: mark as brokenMateusz Kowalczyk2014-11-20
* agda-pretty: mark as brokenMateusz Kowalczyk2014-11-20
* agda-iowa-stdlib: update to r18734Mateusz Kowalczyk2014-11-18
* agda-iowa-stdlib: mark as brokenMateusz Kowalczyk2014-11-17
* agda-base: new packageMateusz Kowalczyk2014-10-02
* agda-iowa-stdlib: renamed from aaron-stump-stdlibMateusz Kowalczyk2014-09-28
* agda-aaron-stump-stdlib: new packageMateusz Kowalczyk2014-09-27
* agda-pretty: new packageMateusz Kowalczyk2014-09-27
* agda-TotalParserCombinators: new packageMateusz Kowalczyk2014-09-27
* agda-prelude: new packageMateusz Kowalczyk2014-09-27
* agda-categories: add packageMateusz Kowalczyk2014-09-16
* agda: add bitvectorMateusz Kowalczyk2014-09-11
* agda-sheaves: use lib.licensesMateusz Kowalczyk2014-09-11
* agda: add Agda-SheavesMateusz Kowalczyk2014-09-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-16 04:14:33 +0000