Commit Graph

6 Commits

Author SHA1 Message Date
volth
c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
R. RyanTM
9f3dd81f86 minizincide: 2.3.0 -> 2.3.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minizinc-ide/versions
2019-08-04 16:19:03 -07:00
R. RyanTM
9e4a598c69 minizincide: 2.2.3 -> 2.3.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minizinc-ide/versions
2019-07-05 23:27:53 +02:00
Will Dietz
5adde64416 minizincide: minor touchups per reviewer suggestion
(sourceRoot needed a "source/" prefix, FWIW)
2019-01-05 13:35:10 -06:00
Will Dietz
3d5ee86488 minizincide: https, touchup, don't volunteer others to maintain haha :P 2018-12-02 12:14:43 -06:00
Will Dietz
0e4c444cfe minizincide: init at 2.2.3
* wrap so minizinc on PATH
  (to ensure it's avail/found)
2018-12-01 13:44:06 -06:00