13 Commits

Author	SHA1	Message	Date
github-actions[bot]	7d94bb26bb	Merge master into staging-next	2021-02-10 18:16:36 +00:00
Daniel Albert	9da3fd6a09	minizincide: 2.4.3 -> 2.5.3	2021-02-09 15:37:12 +01:00
Thomas Tuegel	5590e365e4	qtbase: Check for wrapQtAppsHook in setupHook	2021-01-25 15:56:15 -06:00
Ben Siraphob	c522fec274	pkgs/development/tools: stdenv.lib -> lib	2021-01-23 20:30:03 +07:00
R. RyanTM	0dc0eb5e3c	minizincide: 2.4.2 -> 2.4.3	2020-04-06 06:07:50 +00:00
R. RyanTM	21b8df1019	minizincide: 2.3.2 -> 2.4.2	2020-03-14 14:25:50 +01:00
R. RyanTM	af55862c3f	minizincide: 2.3.1 -> 2.3.2	2019-12-08 10:31:27 -08:00
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