4 Commits

Author	SHA1	Message	Date
Merlin Göttlinger	fb390df254	ocaml-minisat: 0.3 -> 0.4	2021-10-25 13:19:41 +02:00
Vincent Laporte	c86f67bfb9	ocamlPackages.minisat: 0.2 → 0.3	2021-04-06 08:43:38 +02:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Merlin Göttlinger	e5340bb5ef	ocaml-minisat: init at 0.2	2019-08-07 13:45:31 +00:00