Commit graph

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