Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / tools / minizinc / 
tree0a72af75bd45a9f225a0c7e3bc4cef3785290804
drwxr-xr-x   ..
-rw-r--r-- 1383 default.nix
-rw-r--r-- 535 gecode.msc
-rw-r--r-- 1209 ide.nix
drwxr-xr-x - simple-test