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 /unit-tests/sat6.cnf | |
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 'unit-tests/sat6.cnf')
0 files changed, 0 insertions, 0 deletions