summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/psmt2-frontend
Commit message (Expand)AuthorAge
* buildDunePackage: default to strictDeps = trueUlrik Strid2023-02-03
* ocamlPackages.psmt2-frontend: minor cleaningVincent Laporte2023-01-30
* ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0R. Ryantm2022-03-21
* ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* ocamlPackages.psmt2-frontend: 0.2 → 0.3.1Vincent Laporte2021-02-23
* ocamlPackages: stdenv.lib → libsternenseemann2021-01-12
* treewide: installFlags is a listRobin Gloster2019-12-30
* ocamlPackages.psmt2-frontend: 0.1 -> 0.2R. RyanTM2019-02-12
* ocamlPackages.psmt2-frontend: init at 0.1Vincent Laporte2018-06-25