Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-04-06 | ocamlPackages.minisat: 0.2 → 0.3 | Vincent Laporte | 1 | -3/+5 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-08-07 | ocaml-minisat: init at 0.2 | Merlin Göttlinger | 1 | -0/+22 |