pkgs/development/coq-modules/vcfloat · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules vcfloat

1 file

at devShellTools-shell

Pierre Roux · coqPackages.vcfloat: 2.2 -> 2.3 · 1y ago

coqPackages.vcfloat: 2.2 -> 2.3