nixpkgs/pkgs/development/libraries/agda/ at 24.11-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 24.11-pre 9 folders

Merge branch master into haskell-updates

2 years ago

agda-categories

agdaPackages.agda-categories: remove heap size increase

2 years ago

agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04

2 years ago

agdaPackages.agdarsec: mark as broken

2 years ago

agdaPackages.cubical: add maintainer phijor

2 years ago

functional-linear-algebra

agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0

2 years ago

Agda: mark packages as broken until 2.6.2 compatible release is made

4 years ago

treewide: remove stdenv where not needed

5 years ago

standard-library

agdaPackages.standard-library: 1.7.3 -> 2.0

2 years ago