summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/psmt2-frontend
AgeCommit message (Expand)AuthorFilesLines
2021-02-23ocamlPackages.psmt2-frontend: 0.2 → 0.3.1Vincent Laporte1-18/+10
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-4/+4
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-02-12ocamlPackages.psmt2-frontend: 0.1 -> 0.2R. RyanTM1-2/+2
2018-06-25ocamlPackages.psmt2-frontend: init at 0.1Vincent Laporte1-0/+35