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

various: remove superflous usages of pname

4 months ago

agda-categories

agdaPackages.agda-categories: 0.2.0 -> 0.3.0

4 months ago

agdaPackages: switch to `--build-library`

6 months ago

agdaPackages.agda2hs-base: don't hard code agda2hs source name

3 months ago

agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05

3 months ago

various: remove superflous usages of pname

4 months ago

various: remove superflous usages of pname

4 months ago

functional-linear-algebra

agdaPackages: switch to `--build-library`

6 months ago

various: remove superflous usages of pname

4 months ago

treewide: remove redundant parentheses

4 months ago

standard-library

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

5 months ago