about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
AgeCommit message (Expand)AuthorFilesLines
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly9-9/+9
2019-12-25agda-stdlib: list as not broken on Darwin (#76485)Ryan Orendorff1-1/+0
2019-12-05Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk9-9/+9
2019-08-20agdaPrelude: 0dca24a81 -> eacc961c2danbst1-2/+2
2019-08-20agdaIowaStdlib: 1.4.0 -> 1.5.0danbst1-2/+2
2019-08-17AgdaStdlib: 1.0.1 -> 1.1R. RyanTM1-2/+2
2019-07-21adga-stdlib: 1.0 -> 1.0.1Alex Rice1-2/+2
2019-04-18AgdaStdlib: 0.17 -> 1.0Yurii Rashkovskii1-2/+2
2018-12-16AgdaStdlib: 0.16.1 -> 0.17R. RyanTM1-2/+2
2018-10-14agdaIowaStdlib: 18734 -> 1.4.0Matthew Pickering1-8/+7
2018-09-25AgdaStdlib: 0.16 -> 0.16.1R. RyanTM1-2/+2
2018-08-06AgdaStdlib: 0.15 -> 0.16 (#44550)James Wood1-2/+2
2018-06-23agda-stdlib: broken on darwinMatthew Bauer1-0/+1
2018-04-12pretty: mark as brokenxeji1-0/+1
2018-03-19AgdaStdlib: 0.14 -> 0.15Ryan Mulligan1-2/+2
2017-09-26AgdaStdlib: 0.13 -> 0.14Unai Zalakain1-2/+2
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger9-9/+9
2016-12-24AgdaStdlib: v0.12 -> v0.13laMudri1-2/+2
2016-06-07Agda: marked some old packages as brokenlaMudri4-1/+5
2016-06-07agda-prelude: 2014-09-27 -> 2016-04-18laMudri1-3/+3
2016-06-07agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri1-7/+8
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen5-5/+5
2016-05-23Revert "Merge pull request #15595 from laMudri/agda-stdlib"Joachim Fasting6-14/+11
2016-05-21Agda: marked some old packages as brokenlaMudri4-1/+5
2016-05-21agda-prelude: 2014-09-27 -> 2016-04-18laMudri1-3/+3
2016-05-21agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri1-7/+6
2015-09-04categories: mark as broken cc #9471Domen Kožar1-0/+1
2015-05-31agda-stdlib: update to 2.4.2.3 branchMateusz Kowalczyk1-2/+2
2015-05-20agda: the Iowa stdlib seems to be behind a private SVN nowJohn Ericson1-0/+2
2015-04-06agda: migrate to haskell-ng, update and cleanupNikolay Amiantov6-4/+93
2015-01-08Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar1-0/+1
2015-01-02Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar1-1/+0
2014-12-03agda-pretty: update darcs revisionMateusz Kowalczyk2-6/+15
2014-12-03agda-TotalParserCombinators: update darcs revisionMateusz Kowalczyk2-3/+12
2014-11-20agda-TotalParserCombinators: mark as brokenMateusz Kowalczyk1-0/+1
2014-11-20agda-pretty: mark as brokenMateusz Kowalczyk1-0/+1
2014-11-18agda-iowa-stdlib: update to r18734Mateusz Kowalczyk1-3/+2
2014-11-17agda-iowa-stdlib: mark as brokenMateusz Kowalczyk1-0/+1
2014-10-02agda-base: new packageMateusz Kowalczyk1-0/+22
2014-09-28agda-iowa-stdlib: renamed from aaron-stump-stdlibMateusz Kowalczyk1-2/+2
2014-09-27agda-aaron-stump-stdlib: new packageMateusz Kowalczyk1-0/+26
2014-09-27agda-pretty: new packageMateusz Kowalczyk2-0/+32
2014-09-27agda-TotalParserCombinators: new packageMateusz Kowalczyk2-0/+238
2014-09-27agda-prelude: new packageMateusz Kowalczyk1-0/+23
2014-09-16agda-categories: add packageMateusz Kowalczyk1-0/+23
2014-09-11agda: add bitvectorMateusz Kowalczyk1-0/+23
2014-09-11agda-sheaves: use lib.licensesMateusz Kowalczyk1-1/+1
2014-09-11agda: add Agda-SheavesMateusz Kowalczyk1-0/+23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-23 06:11:27 +0000