Ulrik Strid
f12b9ea461
buildDunePackage: default to strictDeps = true
2023-02-03 08:59:34 +01:00
Vincent Laporte
229ef3021c
ocamlPackages.psmt2-frontend: minor cleaning
2023-01-30 10:55:52 +01:00
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
