7 commits

Author	SHA1	Message	Date
R. Ryantm	9d0ca60831	ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0	2022-03-21 08:40:44 +00:00
Ulrik Strid	a13cdfe520	ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs ... To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier	2022-02-24 14:39:27 +01:00
Vincent Laporte	439eeda150	ocamlPackages.psmt2-frontend: 0.2 → 0.3.1	2021-02-23 22:11:44 +01:00
sternenseemann	4e42cac49d	ocamlPackages: stdenv.lib → lib ... This change was produced by searching for remaining occurrences of stdenv.lib and replacing them manually. Reference #108938.	2021-01-12 16:33:18 +01:00
Robin Gloster	2157dcd141	treewide: installFlags is a list	2019-12-30 13:22:43 +01:00
R. RyanTM	17711be1ab	ocamlPackages.psmt2-frontend: 0.1 -> 0.2 ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/ocaml4.06.1-psmt2-frontend/versions	2019-02-12 09:17:19 +00:00
Vincent Laporte	ec81355c8d	ocamlPackages.psmt2-frontend: init at 0.1	2018-06-25 13:38:55 +00:00