| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ocaml-minisat: 0.3 -> 0.4 | Merlin Göttlinger | 2021-10-25 |
| * | ocamlPackages.minisat: 0.2 → 0.3 | Vincent Laporte | 2021-04-06 |
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | ocaml-minisat: init at 0.2 | Merlin Göttlinger | 2019-08-07 |