| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-30 | ocaml-psmt2-frontend: install manually | Alad Wenter | |
| The Makefile seems to ignore DESTDIR completely. Use manual installation from earnestly/ocaml-psmt2-frontend-git | |||
| 2019-11-30 | ocaml-psmt2-frontend: init | Alad Wenter | |