Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / tools / analysis / hopper / 
treea1eabd1aef71e4e5977dc24b9416ac45da40a1ba
drwxr-xr-x   ..
-rw-r--r-- 1713 default.nix