Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / coq-modules / mathcomp-abel / 
treebae5951cb5a77bd954236dd560297c4083a8750d
drwxr-xr-x   ..
-rw-r--r-- 1130 default.nix