diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-28 19:59:39 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-28 19:59:39 +0200 |
commit | 220afeb0eb1b0b63fccd29e254f3179cac834c12 (patch) | |
tree | 7ff6cc51b5e09034658fe053ccff4675a964ed13 /ci | |
parent | a827528c0435f2006560b8cb359420bbffe85881 (diff) | |
parent | 4c348a170ea80d20f08ccd5b20e98f56b9267485 (diff) | |
download | smtcoq-220afeb0eb1b0b63fccd29e254f3179cac834c12.tar.gz smtcoq-220afeb0eb1b0b63fccd29e254f3179cac834c12.zip |
Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13
Diffstat (limited to 'ci')
-rw-r--r-- | ci/manifest-sources-8.11 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/manifest-sources-8.11 b/ci/manifest-sources-8.11 index b93f959..043c626 100644 --- a/ci/manifest-sources-8.11 +++ b/ci/manifest-sources-8.11 @@ -27,7 +27,6 @@ tasks: cd smtcoq git checkout coq-8.11 cd src - ./configure.sh make make install cd ../.. |