summaryrefslogtreecommitdiff
path: root/pkgs/development/ocaml-modules/pgsolver
AgeCommit message (Expand)Author
2025-11-07ocamlPackages.pgsolver: 4.1 -> 4.4Yifei Sun
2025-09-29ocamlPackages.tcs-lib: 0.3 → 0.6Vincent Laporte
2025-09-26ocamlPackages.ocaml-sat-solvers: 0.4 → 0.8Vincent Laporte
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2022-05-20ocamlPackages: add meta.mainProgram to packages with multiple executablesMalo Bourgon
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-08-08pgsolver: init at 4.1Merlin Göttlinger