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