R. RyanTM 7fdb25a24b minizincide: 2.5.3 -> 2.5.5 ... (#149848)		2022-01-01 22:54:39 +01:00
..
default.nix	various: cleanup of "inherit version;"	2021-07-18 00:19:24 +02:00
ide.nix	minizincide: 2.5.3 -> 2.5.5	2022-01-01 22:54:39 +01:00