Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / ocaml-modules / psmt2-frontend / 
treee7a54d4395c0284b340a60ff655f4ef2a49a6e92
drwxr-xr-x   ..
-rw-r--r-- 591 default.nix