about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
Commit message (Expand)AuthorAge
* agdaPackages.cubical: init at 0.2 (#76994)Ryan Orendorff2020-05-19
* Agda: Add turion as maintainerAlex Rice2020-05-14
* iowa-stdlib: update homepage URLKeshav Kini2020-05-14
* agda.iowa-stdlib: mark brokenAlex Rice2020-05-14
* agda.standard-library: 1.1 -> 1.3Alex Rice2020-05-14
* agda-categories: init at 0.1Alex Rice2020-05-14
* agda-prelude: updateAlex Rice2020-05-14
* agda: rework builderAlex Rice2020-05-14
* agda-base: remove broken packageAlex Rice2020-04-25
* bitvector: remove broken packageAlex Rice2020-04-25
* categories: remove broken packageAlex Rice2020-04-25
* pretty: remove broken packageAlex Rice2020-04-25
* Agda-Sheaves: remove broken packageAlex Rice2020-04-25
* TotalParserCombinators: remove broken packageAlex Rice2020-04-25
* AgdaStdlib: update homepage link to use HTTPSKonrad Borowski2020-04-24
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* agda-stdlib: list as not broken on Darwin (#76485)Ryan Orendorff2019-12-25
* Remove myself (fuuzetsu) from maintainer listsMateusz Kowalczyk2019-12-05
* agdaPrelude: 0dca24a81 -> eacc961c2danbst2019-08-20
* agdaIowaStdlib: 1.4.0 -> 1.5.0danbst2019-08-20
* 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
* agdaIowaStdlib: 18734 -> 1.4.0Matthew Pickering2018-10-14
* 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
* pretty: mark as brokenxeji2018-04-12
* 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: 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-02 20:31:53 +0000