Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / python-modules / coqpit / 
tree1c4a369aa8802b2bdad4a87cd07af22f65712b63
drwxr-xr-x   ..
-rw-r--r-- 1130 default.nix