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

Naïm Favier · agdaPackages.cubical: 0.7 -> 0.8 · 1y ago

treewide: format all inactive Nix files

agda-categories

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

treewide: remove unused rec expressions

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

agdaPackages.cubical: 0.7 -> 0.8

cubical-mini: init at nightly-20241214

functional-linear-algebra

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

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

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

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

standard-library

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