nixpkgs/pkgs/development/libraries/gecode
2019-04-24 20:42:59 +02:00
..
3.nix treewide: Change URLs to HTTPS 2019-04-22 10:19:54 +02:00
default.nix Merge pull request from r-ryantm/auto-update/gecode 2019-04-24 20:42:59 +02:00