tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
coq-modules
/
mathcomp-algebra-tactics
/
at
master
1 file
Pierre Roux
rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0
5 months ago
403640aa
default.nix
rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0
5 months ago