about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
AgeCommit message (Expand)AuthorFilesLines
2020-09-29minizinc: fix build against bison 3.7Robert Scott1-1/+11
2020-08-09minizinc: 2.2.3 -> 2.4.3, fix buildDaniël de Kok1-4/+13
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-04-06minizincide: 2.4.2 -> 2.4.3R. RyanTM1-3/+3
2020-03-14minizincide: 2.3.2 -> 2.4.2R. RyanTM1-2/+2
2019-12-08minizincide: 2.3.1 -> 2.3.2R. RyanTM1-2/+2
2019-08-17treewide: name -> pnamevolth2-2/+4
2019-08-04minizincide: 2.3.0 -> 2.3.1R. RyanTM1-2/+2
2019-07-05minizincide: 2.2.3 -> 2.3.0R. RyanTM1-2/+2
2019-04-15treewide: update homepages to https where availableMatthew Bauer1-2/+1
2019-01-05minizincide: minor touchups per reviewer suggestionWill Dietz1-2/+2
2018-12-02minizincide: https, touchup, don't volunteer others to maintain haha :PWill Dietz1-3/+3
2018-12-01minizincide: init at 2.2.3Will Dietz1-0/+42
2018-11-23minizinc: 2.2.1 -> 2.2.3worldofpeace1-4/+3
2018-10-27minizinc: 2.2.0 -> 2.2.1 (#49241)R. RyanTM1-2/+2
2018-08-31minizinc: 2.1.7 -> 2.2.0 (#45816)R. RyanTM1-2/+2
2018-02-27minizinc: 2.0.14 -> 2.1.7Ryan Mulligan1-2/+2
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2016-09-06minizinc: init at 2.0.14 (#18308)Sheena Artrip1-0/+35
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 13:32:23 +0000