nixpkgs/pkgs/development/libraries/agda/ at lanzaboote · tjh.dev/nixpkgs · tangled

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / libraries / agda /

at lanzaboote 9 folders

agdaPackages._1lab: init at unstable-2023-03-07

2 years ago

agda-categories

agda: 2.6.2.2 -> 2.6.3

3 years ago

agda: 2.6.2.2 -> 2.6.3

3 years ago

agdaPackages.agdarsec: Init at 0.4.1

5 years ago

agdaPackages.cubical: unstable-2023-02-09 -> 0.5

2 years ago

functional-linear-algebra

agdaPackages.functional-linear-algebra 0.3->0.4

4 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

agda: 2.6.2.2 -> 2.6.3

3 years ago