Merge pull request #438 from MSoegtropIMC/opam-patchrepo-cleanup

Fixes #437 - Removed files from local opam patch repo already merged upstream
PrincetonUniversity · Jul 11, 2020 · d670b65 · d670b65
2 parents 8ea7fc3 + e0ecdc2
commit d670b65
Show file tree

Hide file tree

Showing 14 changed files with 0 additions and 934 deletions.
diff --git a/opam-prerelease/packages/coq-compcert-64/coq-compcert-64.3.7/opam b/opam-prerelease/packages/coq-compcert-64/coq-compcert-64.3.7/opam
diff --git a/...64.3.7~coq-platform/files/0001-Install-compcert.config-file-along-the-Coq-developme.patch b/...64.3.7~coq-platform/files/0001-Install-compcert.config-file-along-the-Coq-developme.patch
diff --git a/...64.3.7~coq-platform/files/0007-Dual-license-aarch64-Archi.v-Cbuiltins.ml-extraction.patch b/...64.3.7~coq-platform/files/0007-Dual-license-aarch64-Archi.v-Cbuiltins.ml-extraction.patch
diff --git a/.../coq-compcert-64.3.7~coq-platform/files/0008-Update-the-list-of-dual-licensed-files.patch b/.../coq-compcert-64.3.7~coq-platform/files/0008-Update-the-list-of-dual-licensed-files.patch
diff --git a/...cert-64/coq-compcert-64.3.7~coq-platform/files/0011-Use-Coq-platform-supplied-Flocq.patch b/...cert-64/coq-compcert-64.3.7~coq-platform/files/0011-Use-Coq-platform-supplied-Flocq.patch
diff --git a/...64.3.7~coq-platform/files/0012-Use-platform-supplied-menhirlib-as-suggested-by-jhjo.patch b/...64.3.7~coq-platform/files/0012-Use-platform-supplied-menhirlib-as-suggested-by-jhjo.patch