swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-01 01:20:17 +02:00
Code Issues Packages Projects Releases Wiki Activity
187413 commits 5 branches 0 tags 31 GiB
Commit graph

4 commits

Author SHA1 Message Date
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