about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
AgeCommit message (Expand)AuthorFilesLines
2024-03-21Merge branch master into haskell-updatessternenseemann1-1/+1
2024-03-21treewide: remove licenses.agpl3Jussi Kuokkanen1-1/+1
2024-03-19agdaPackages._1lab: 2023-12-04 -> 2024-03-07Naïm Favier1-5/+13
2024-03-18agdaPackages.agda-categories: remove heap size increaseNaïm Favier1-4/+0
2024-02-18agdaPackages.cubical: add maintainer phijorPhilipp Joram1-1/+1
2024-02-12agdaPackages.cubical: 0.6 -> 0.7Naïm Favier1-2/+2
2024-01-06agdaPackages._1lab: disable debug printingNaïm Favier1-1/+5
2023-12-27agdaPackages.agdarsec: mark as brokenNaïm Favier1-0/+1
2023-12-27agdaPackages.agda-categories: 0.1.7.2 -> 0.2.0Naïm Favier1-2/+6
2023-12-23agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0Naïm Favier1-2/+2
2023-12-12agdaPackages.standard-library: 1.7.3 -> 2.0Naïm Favier1-3/+3
2023-12-07agdaPackages._1lab: unstable-2023-10-11 -> unstable-2023-12-04Naïm Favier1-4/+4
2023-11-19functional-linear-algebra: 0.4->0.4.1Ryan Orendorff1-3/+2
2023-10-25agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04Naïm Favier1-4/+3
2023-10-24agdaPackages.cubical: 0.5 -> 0.6Naïm Favier1-2/+2
2023-10-24agdaPackages.{agda-prelude,functional-linear-algebra}: mark as brokenNaïm Favier2-0/+2
2023-10-24agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11Naïm Favier1-4/+3
2023-10-24agdaPackages.agda-categories: 0.1.7.1a -> 0.1.7.2Naïm Favier1-2/+2
2023-10-24agdaPackages.standard-library: 1.7.2 -> 1.7.3Naïm Favier1-2/+2
2023-08-06agdaPackages._1lab: init at unstable-2023-03-07Naïm Favier1-0/+32
2023-07-05agdaPackages.cubical: unstable-2023-02-09 -> 0.5Naïm Favier1-3/+3
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt4-16/+22
2023-01-12agdaPackages.cubical: clean upNaïm Favier1-6/+6
2022-12-01agdaPackages.cubical: 0.4prec3e097a -> 0.4Alex Rice1-3/+3
2021-12-13agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097aIngo Blechschmidt1-3/+3
2021-11-29agdaPackages.standard-library: 1.7 -> 1.7.1Ingo Blechschmidt2-2/+9
2021-10-06Merge pull request #100351 from turion/dev_add_agdarsecAnderson Torres1-0/+28
2021-10-06agdaPackages.agda-prelude: compat-2.6.1 -> compat-2.6.2Manuel Bärenz1-4/+2
2021-08-30agdaPackages.agdarsec: Init at 0.4.1Manuel Bärenz1-0/+28
2021-07-27agdaPackages.functional-linear-algebra 0.3->0.4Ryan Orendorff1-4/+2
2021-07-26agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1Manuel Bärenz1-4/+2
2021-07-26Agda: mark packages as broken until 2.6.2 compatible release is madeAlex Rice4-0/+8
2021-07-24Agda cubical 2.6.2 fix (#131280)Guilherme Silva1-0/+2
2021-07-23agdaPackages.cubical: 0.2 -> 0.3pred5030a9Shea Levy1-5/+3
2021-07-15agdaPackages.standard-library: 1.6 -> 1.7Manuel Bärenz1-3/+3
2021-04-23agdaPackages.standard-library: 1.5 -> 1.6 (#120180)Manuel Bärenz3-6/+6
2021-03-30agda nixos test: add to passthru for agda + stdlibAlex Rice1-1/+2
2021-02-03Merge pull request #110830 from iblech/patch-agdastdlib15Anderson Torres4-9/+13
2021-02-03Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres1-0/+3
2021-02-03agdaPackages.agda-categories: 0.1.4 -> 0.1.5Ingo Blechschmidt1-2/+2
2021-01-27agdaPackages.generic: 0.1.0.1 -> 0.1.0.2Ingo Blechschmidt1-3/+3
2021-01-27agdaPackages.functional-linear-algebra: 0.1 -> 0.2Ingo Blechschmidt1-2/+6
2021-01-27agdaPackages.standard-library: 1.4 -> 1.5Ingo Blechschmidt1-2/+2
2021-01-25treewide: remove stdenv where not neededPavol Rusnak4-4/+4
2021-01-24agdaPackages.standard-library: don't install Everything filesAlexander Ben Nasrallah1-0/+3
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob4-13/+13
2020-11-01agda-categories: fix hashIngo Blechschmidt1-1/+1
2020-10-19agdaPackages.agda-categories: 1.3.1 -> 1.4Manuel Bärenz1-2/+2
2020-10-19agdaPackages.generic: 0.1 -> 0.1.0.1Manuel Bärenz1-3/+3
2020-10-19agdaPackages.standard-library: 1.3 -> 1.4Manuel Bärenz1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 11:19:54 +0000