R. Ryantm c618e3778c minizinc: 2.8.3 -> 2.8.4		2024-05-10 12:34:32 +00:00
..
simple-test
default.nix	minizinc: 2.8.3 -> 2.8.4	2024-05-10 12:34:32 +00:00
gecode.msc
ide.nix	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00