summaryrefslogtreecommitdiff
path: root/pkgs/development/ocaml-modules/msat/default.nix
AgeCommit message (Expand)Author
12 daysocamlPackages.msat: migrate to finalAttrsGuy Chronister
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
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt
2024-01-16ocamlPackages.msat: init at 0.9.1Vincent Laporte