summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
AgeCommit message (Expand)AuthorFilesLines
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
2020-10-15agda-packages: add fla library at v0.1Ryan Orendorff1-0/+26
2020-08-12Merge pull request #95059 from alexarice/agda-genericNick Hu1-0/+31
2020-08-12Merge pull request #90161 from alexarice/agda-categoriesNick Hu1-8/+3
2020-08-10agda-prelude: compat-2.6.0 -> compat-2.6.1Alex Rice1-6/+2
2020-08-10agdaPackages.generic: init at v0.1Alex Rice1-0/+31
2020-06-11agda-categories: 0.1 -> 0.1.3.1Alex Rice1-8/+3
2020-05-19agdaPackages.cubical: init at 0.2 (#76994)Ryan Orendorff1-0/+33
2020-05-14Agda: Add turion as maintainerAlex Rice4-4/+4
2020-05-14iowa-stdlib: update homepage URLKeshav Kini1-1/+1
2020-05-14agda.iowa-stdlib: mark brokenAlex Rice1-0/+2
2020-05-14agda.standard-library: 1.1 -> 1.3Alex Rice1-2/+2
2020-05-14agda-categories: init at 0.1Alex Rice1-0/+28
2020-05-14agda-prelude: updateAlex Rice1-3/+12
2020-05-14agda: rework builderAlex Rice3-20/+20
2020-04-25agda-base: remove broken packageAlex Rice1-23/+0
2020-04-25bitvector: remove broken packageAlex Rice1-24/+0
2020-04-25categories: remove broken packageAlex Rice1-24/+0
2020-04-25pretty: remove broken packageAlex Rice2-69/+0
2020-04-25Agda-Sheaves: remove broken packageAlex Rice1-24/+0
2020-04-25TotalParserCombinators: remove broken packageAlex Rice2-285/+0
2020-04-24AgdaStdlib: update homepage link to use HTTPSKonrad Borowski1-1/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-16 16:19:02 +0000