| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-06-12 | ocamlPackages.minisat: 0.4 -> 0.5 | Mario Rodas | 1 | -5/+3 |
| 2021-10-25 | ocaml-minisat: 0.3 -> 0.4 | Merlin Göttlinger | 1 | -2/+2 |
| 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 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |