3 commits

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