summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda (follow)
Commit message (Expand)AuthorAgeFilesLines
* agdaPackages.generics: init at 1.0.1Manuel Bärenz2024-07-011-0/+28
* treewide: Remove indefinite article from meta.description•••nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/' Alexis Hildebrandt2024-06-092-2/+2
* Merge branch master into haskell-updatessternenseemann2024-03-211-1/+1
|\
| * treewide: remove licenses.agpl3Jussi Kuokkanen2024-03-211-1/+1
* | agdaPackages._1lab: 2023-12-04 -> 2024-03-07•••The `index` module doesn't import everything, so we generate the list of all modules manually. This is simple enough and avoids having to build the Haskell build script. Naïm Favier2024-03-191-5/+13
* | agdaPackages.agda-categories: remove heap size increase•••The maximum heap size was removed in Agda 2.6.4.2 https://github.com/agda/agda/issues/7070 Naïm Favier2024-03-181-4/+0
|/
* agdaPackages.cubical: add maintainer phijorPhilipp Joram2024-02-181-1/+1
* agdaPackages.cubical: 0.6 -> 0.7•••https://github.com/agda/cubical/releases/tag/v0.7 Naïm Favier2024-02-121-2/+2
* agdaPackages._1lab: disable debug printingNaïm Favier2024-01-061-1/+5
* agdaPackages.agdarsec: mark as brokenNaïm Favier2023-12-271-0/+1
* agdaPackages.agda-categories: 0.1.7.2 -> 0.2.0•••https://github.com/agda/agda-categories/releases/tag/v0.2.0 Naïm Favier2023-12-271-2/+6
* agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0•••https://github.com/ryanorendorff/functional-linear-algebra/releases/tag/v0.5.0 Naïm Favier2023-12-231-2/+2
* agdaPackages.standard-library: 1.7.3 -> 2.0•••https://github.com/agda/agda-stdlib/blob/v2.0/CHANGELOG.md Naïm Favier2023-12-121-3/+3
* agdaPackages._1lab: unstable-2023-10-11 -> unstable-2023-12-04Naïm Favier2023-12-071-4/+4
* functional-linear-algebra: 0.4->0.4.1Ryan Orendorff2023-11-191-3/+2
* agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04Naïm Favier2023-10-251-4/+3
* agdaPackages.cubical: 0.5 -> 0.6•••https://github.com/agda/cubical/releases/tag/v0.6 Naïm Favier2023-10-241-2/+2
* agdaPackages.{agda-prelude,functional-linear-algebra}: mark as brokenNaïm Favier2023-10-242-0/+2
* agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11Naïm Favier2023-10-241-4/+3
* agdaPackages.agda-categories: 0.1.7.1a -> 0.1.7.2•••https://github.com/agda/agda-categories/releases/tag/v0.1.7.2 Naïm Favier2023-10-241-2/+2
* agdaPackages.standard-library: 1.7.2 -> 1.7.3•••https://github.com/agda/agda-stdlib/releases/tag/v1.7.3 Naïm Favier2023-10-241-2/+2
* agdaPackages._1lab: init at unstable-2023-03-07•••https://github.com/plt-amy/1lab Naïm Favier2023-08-061-0/+32
* agdaPackages.cubical: unstable-2023-02-09 -> 0.5•••https://github.com/agda/cubical/releases/tag/v0.5 Naïm Favier2023-07-051-3/+3
* agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt2023-02-144-16/+22
* agdaPackages.cubical: clean up•••- 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 Naïm Favier2023-01-121-6/+6
* agdaPackages.cubical: 0.4prec3e097a -> 0.4Alex Rice2022-12-011-3/+3
* agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097aIngo Blechschmidt2021-12-131-3/+3
* agdaPackages.standard-library: 1.7 -> 1.7.1Ingo Blechschmidt2021-11-292-2/+9
* Merge pull request #100351 from turion/dev_add_agdarsec•••agdarsec: init at 0.4.1Anderson Torres2021-10-061-0/+28
|\
| * agdaPackages.agdarsec: Init at 0.4.1Manuel Bärenz2021-08-301-0/+28
* | agdaPackages.agda-prelude: compat-2.6.1 -> compat-2.6.2Manuel Bärenz2021-10-061-4/+2
|/
* agdaPackages.functional-linear-algebra 0.3->0.4Ryan Orendorff2021-07-271-4/+2
* agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1Manuel Bärenz2021-07-261-4/+2
* Agda: mark packages as broken until 2.6.2 compatible release is made•••Co-authored-by: sternenseemann <sternenseemann@systemli.org> Alex Rice2021-07-264-0/+8
* Agda cubical 2.6.2 fix (#131280)•••Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>Guilherme Silva2021-07-241-0/+2
* agdaPackages.cubical: 0.2 -> 0.3pred5030a9•••0.2 does not build with agda 2.6.2 Shea Levy2021-07-231-5/+3
* agdaPackages.standard-library: 1.6 -> 1.7Manuel Bärenz2021-07-151-3/+3
* agdaPackages.standard-library: 1.5 -> 1.6 (#120180)•••* agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.6Manuel Bärenz2021-04-233-6/+6
* agda nixos test: add to passthru for agda + stdlibAlex Rice2021-03-301-1/+2
* Merge pull request #110830 from iblech/patch-agdastdlib15•••agdaPackages.standard-library: 1.4 -> 1.5Anderson Torres2021-02-034-9/+13
|\
| * agdaPackages.agda-categories: 0.1.4 -> 0.1.5Ingo Blechschmidt2021-02-031-2/+2
| * agdaPackages.generic: 0.1.0.1 -> 0.1.0.2Ingo Blechschmidt2021-01-271-3/+3
| * agdaPackages.functional-linear-algebra: 0.1 -> 0.2Ingo Blechschmidt2021-01-271-2/+6
| * agdaPackages.standard-library: 1.4 -> 1.5Ingo Blechschmidt2021-01-271-2/+2
* | Merge pull request #110512 from neosimsim/agda-dont-install-Everything•••Agda don't install Everything moduleAnderson Torres2021-02-031-0/+3
|\ \ | |/ |/|
| * agdaPackages.standard-library: don't install Everything filesAlexander Ben Nasrallah2021-01-241-0/+3
* | treewide: remove stdenv where not neededPavol Rusnak2021-01-254-4/+4
|/
* pkgs/development/libraries: stdenv.lib -> libBen Siraphob2021-01-214-13/+13
* agda-categories: fix hash•••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.4Ingo Blechschmidt2020-11-011-1/+1
* agdaPackages.agda-categories: 1.3.1 -> 1.4Manuel Bärenz2020-10-191-2/+2
generated by cgit v1.2.3 (git 2.52.0) at 2026-08-21 18:43:06 +0000