nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 06:53:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
711,115 Commits 323 Branches 124 Tags 7 GiB
master
Commit Graph

6 Commits

Author SHA1 Message Date
R. Ryantm
d8ee498af7 ocamlPackages.minisat: 0.5 -> 0.6 2024-04-27 12:04:09 +00:00
Mario Rodas
c8cb1f7a2d ocamlPackages.minisat: 0.4 -> 0.5 
Diff: https://github.com/c-cube/ocaml-minisat/compare/v0.4...v0.5
 2023-06-12 11:17:36 +02:00
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