pkgs/development/coq-modules/mathcomp-abel · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules mathcomp-abel

1 file

at llvm-cleanup

Shawn8901 · treewide: remove global with lib; statements in pkgs/coq-modules · 3y ago

treewide: remove global with lib; statements in pkgs/coq-modules