nixpkgs/pkgs/development/libraries/agda/ at staging-python · 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 staging-python 8 folders

agda-categories

agdaPackages.standard-library: 1.7 -> 1.7.1

4 years ago

Merge pull request #100351 from turion/dev_add_agdarsec

4 years ago

agdaPackages.agdarsec: Init at 0.4.1

5 years ago

agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a

4 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

agdaPackages.standard-library: 1.7 -> 1.7.1

4 years ago