about summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
AgeCommit message (Collapse)AuthorFilesLines
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt4-16/+22
2023-01-12agdaPackages.cubical: clean upNaïm Favier1-6/+6
- use `C.UTF-8` so that we don't have to depend on glibcLocales - remove now unnecessary AGDA_EXEC - run pre/post-build hooks - add ncfavier as maintainer
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
agdarsec: init at 0.4.1
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
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2021-07-24Agda cubical 2.6.2 fix (#131280)Guilherme Silva1-0/+2
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
2021-07-23agdaPackages.cubical: 0.2 -> 0.3pred5030a9Shea Levy1-5/+3
0.2 does not build with agda 2.6.2
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
* agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.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
agdaPackages.standard-library: 1.4 -> 1.5
2021-02-03Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres1-0/+3
Agda don't install Everything module
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
Apparently, v0.1.4 was released twice. The current version of the build points to the first edition of v0.1.4, which is no longer attached to the tag "v0.1.4" on GitHub. Hence currently, downloading fails. This commit adjusts the hash to appropriately refer to the second edition of v0.1.4
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
Adds the functional-linear-algebra library to the agda package set.
2020-08-12Merge pull request #95059 from alexarice/agda-genericNick Hu1-0/+31
agdaPackages.generic: init at v0.1
2020-08-12Merge pull request #90161 from alexarice/agda-categoriesNick Hu1-8/+3
agda-categories: 0.1 -> 0.1.3.1
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
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
2020-05-14Agda: Add turion as maintainerAlex Rice4-4/+4
2020-05-14iowa-stdlib: update homepage URLKeshav Kini1-1/+1
The old homepage URL, which was hosted inside the old SVN server, isn't publicly accessible anymore. Since the project has officially moved to github, it seems better to set the github repo as the homepage.
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-08-23 06:59:34 +0000