summary refs log tree commit diff
path: root/pkgs/development/libraries/agda/agda-stdlib
Commit message (Expand)AuthorAge
* AgdaStdlib: 1.0.1 -> 1.1R. RyanTM2019-08-17
* adga-stdlib: 1.0 -> 1.0.1Alex Rice2019-07-21
* AgdaStdlib: 0.17 -> 1.0Yurii Rashkovskii2019-04-18
* AgdaStdlib: 0.16.1 -> 0.17R. RyanTM2018-12-16
* AgdaStdlib: 0.16 -> 0.16.1R. RyanTM2018-09-25
* AgdaStdlib: 0.15 -> 0.16 (#44550)James Wood2018-08-06
* agda-stdlib: broken on darwinMatthew Bauer2018-06-23
* AgdaStdlib: 0.14 -> 0.15Ryan Mulligan2018-03-19
* AgdaStdlib: 0.13 -> 0.14Unai Zalakain2017-09-26
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* AgdaStdlib: v0.12 -> v0.13laMudri2016-12-24
* 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-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)laMudri2016-05-21
* agda-stdlib: update to 2.4.2.3 branchMateusz Kowalczyk2015-05-31
* agda: migrate to haskell-ng, update and cleanupNikolay Amiantov2015-04-06