nixpkgs/pkgs/development/libraries/agda/ at c6cf49a05523fe704f74438f80f9dba302f43bdf · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at c6cf49a05523fe704f74438f80f9dba302f43bdf 12 folders

various: remove superflous usages of pname

3 months ago

agda-categories

agdaPackages.agda-categories: 0.2.0 -> 0.3.0

3 months ago

agdaPackages: switch to `--build-library`

5 months ago

agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25

3 months ago

agdaPackages: switch to `--build-library`

5 months ago

various: remove superflous usages of pname

3 months ago

various: remove superflous usages of pname

3 months ago

functional-linear-algebra

agdaPackages: switch to `--build-library`

5 months ago

Merge staging-next into staging

5 months ago

various: remove superflous usages of pname

3 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)

4 months ago