Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / compilers / kind2 / 
tree39b8f6757b0e116552f8c841666fc1ad55f20363
drwxr-xr-x   ..
-rw-r--r-- 717 default.nix