nixpkgs/pkgs/development/libraries/agda/ at r-updates · 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 r-updates 11 folders

Merge staging-next into staging

5 months ago

agda-categories

agdaPackages: switch to `--build-library`

6 months ago

agdaPackages: switch to `--build-library`

6 months ago

agdaPackages: switch to `--build-library`

6 months ago

agdaPackages.cubical: 0.8 -> 0.9

5 months ago

Merge staging-next into staging

5 months ago

functional-linear-algebra

agdaPackages: switch to `--build-library`

6 months ago

Merge staging-next into staging

5 months ago

agdaPackages: switch to `--build-library`

6 months ago

Revert "treewide: replace `rev` with `tag`"

9 months ago

standard-library

agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3 (#430358)

5 months ago