pkgs/development/coq-modules/math-classes · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules math-classes

1 file

at llvm-cleanup

Vincent Laporte · coqPackages.math-classes: 8.18.0 → 8.19.0 · 2y ago

coqPackages.math-classes: 8.18.0 → 8.19.0