Commit graph

3 commits

Author SHA1 Message Date
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