Commit Graph

5 Commits

Author SHA1 Message Date
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