nixpkgs/pkgs/development/libraries/agda/ at netboot-syslinux-multiplatform · tjh.dev/nixpkgs

tjh.dev / nixpkgs

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

nixpkgs / pkgs / development / libraries / agda /

at netboot-syslinux-multiplatform 8 folders

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

agda: 2.6.2.2 -> 2.6.3

3 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