about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/psmt2-frontend/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-02-03buildDunePackage: default to strictDeps = trueUlrik Strid1-2/+0
2023-01-30ocamlPackages.psmt2-frontend: minor cleaningVincent Laporte1-4/+2
2022-03-21ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0R. Ryantm1-2/+2
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-1/+3
2021-02-23ocamlPackages.psmt2-frontend: 0.2 → 0.3.1Vincent Laporte1-18/+10
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-4/+4
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-02-12ocamlPackages.psmt2-frontend: 0.1 -> 0.2R. RyanTM1-2/+2
2018-06-25ocamlPackages.psmt2-frontend: init at 0.1Vincent Laporte1-0/+35