pkgs/development/libraries/agda · nixpkgs · Tangled

Sign in Join now

nixpkgs lukegb.dev /

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

What happens if I push all of nixpkgs

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

nixpkgs /pkgs /development /libraries /agda

11 folders

at python-updates

nixpkgs-ci[bot] · Merge staging-next into staging · 1y ago

Merge staging-next into staging

agda-categories

agdaPackages: switch to `--build-library`

agdaPackages: switch to `--build-library`

agdaPackages: switch to `--build-library`

Merge staging-next into staging

Merge staging-next into staging

functional-linear-algebra

agdaPackages: switch to `--build-library`

treewide: conform descriptions to the standards

agdaPackages: switch to `--build-library`

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

standard-library

agdaPackages: switch to `--build-library`