summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
Commit message (Expand)AuthorAge
* agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1Manuel Bärenz2021-07-26
* Agda: mark packages as broken until 2.6.2 compatible release is madeAlex Rice2021-07-26
* Agda cubical 2.6.2 fix (#131280)Guilherme Silva2021-07-24
* agdaPackages.cubical: 0.2 -> 0.3pred5030a9Shea Levy2021-07-23
* agdaPackages.standard-library: 1.6 -> 1.7Manuel Bärenz2021-07-15
* agdaPackages.standard-library: 1.5 -> 1.6 (#120180)Manuel Bärenz2021-04-23
* agda nixos test: add to passthru for agda + stdlibAlex Rice2021-03-30
* Merge pull request #110830 from iblech/patch-agdastdlib15Anderson Torres2021-02-03
|\
| * agdaPackages.agda-categories: 0.1.4 -> 0.1.5Ingo Blechschmidt2021-02-03
| * agdaPackages.generic: 0.1.0.1 -> 0.1.0.2Ingo Blechschmidt2021-01-27
| * agdaPackages.functional-linear-algebra: 0.1 -> 0.2Ingo Blechschmidt2021-01-27
| * agdaPackages.standard-library: 1.4 -> 1.5Ingo Blechschmidt2021-01-27
* | Merge pull request #110512 from neosimsim/agda-dont-install-EverythingAnderson Torres2021-02-03
|\ \ | |/ |/|
| * agdaPackages.standard-library: don't install Everything filesAlexander Ben Nasrallah2021-01-24
* | treewide: remove stdenv where not neededPavol Rusnak2021-01-25
|/
* pkgs/development/libraries: stdenv.lib -> libBen Siraphob2021-01-21
* agda-categories: fix hashIngo Blechschmidt2020-11-01
* agdaPackages.agda-categories: 1.3.1 -> 1.4Manuel Bärenz2020-10-19
* agdaPackages.generic: 0.1 -> 0.1.0.1Manuel Bärenz2020-10-19
* agdaPackages.standard-library: 1.3 -> 1.4Manuel Bärenz2020-10-19
* agda-packages: add fla library at v0.1Ryan Orendorff2020-10-15
* Merge pull request #95059 from alexarice/agda-genericNick Hu2020-08-12
|\
| * agdaPackages.generic: init at v0.1Alex Rice2020-08-10
* | Merge pull request #90161 from alexarice/agda-categoriesNick Hu2020-08-12
|\ \
| * | agda-categories: 0.1 -> 0.1.3.1Alex Rice2020-06-11
| |/
* / agda-prelude: compat-2.6.0 -> compat-2.6.1Alex Rice2020-08-10
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-14 09:35:11 +0000