about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda/agda-stdlib/default.nix
AgeCommit message (Expand)AuthorFilesLines
2020-05-14agda: rework builderAlex Rice1-28/+0
2020-04-24AgdaStdlib: update homepage link to use HTTPSKonrad Borowski1-1/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-25agda-stdlib: list as not broken on Darwin (#76485)Ryan Orendorff1-1/+0
2019-12-05Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk1-1/+1
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-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-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 Mosberger1-1/+1
2016-12-24AgdaStdlib: v0.12 -> v0.13laMudri1-2/+2
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 Tynkkynen1-1/+1
2016-05-23Revert "Merge pull request #15595 from laMudri/agda-stdlib"Joachim Fasting1-6/+7
2016-05-21agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri1-7/+6
2015-05-31agda-stdlib: update to 2.4.2.3 branchMateusz Kowalczyk1-2/+2
2015-04-06agda: migrate to haskell-ng, update and cleanupNikolay Amiantov1-0/+27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 21:36:32 +0000