pkgs/development/rocq-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development rocq-modules

3 folders

at lib-types-attrNamesToTrue

R. Ryantm · rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1 · 1y ago

Add rocqPackages.bignums

rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1

treewide: Format all Nix files