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