diff options
| author | grianneau <boris.djalal@gmail.com> | 2021-01-27 09:43:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-27 09:43:38 +0100 |
| commit | 74558c622de91801e3e188bdf690eb9a665f965b (patch) | |
| tree | 05e6b90604b8bd7c7e00debe034237e5db975169 /src/trace/smtAtom.mli | |
| parent | 09117dcb494ed47828ee658b9c72ad83c880a438 (diff) | |
| download | smtcoq-74558c622de91801e3e188bdf690eb9a665f965b.tar.gz smtcoq-74558c622de91801e3e188bdf690eb9a665f965b.zip | |
Add ci manifest to compile from the sources
* compiling SMTCoq from sources from branch 8.11
* manifest using debian/stable to make it work with OCaml 8.09.1
Diffstat (limited to 'src/trace/smtAtom.mli')
0 files changed, 0 insertions, 0 deletions