Make Coq 8.5 the default target for Fiat-Crypto

Instructions for 8.4 build in the README

1 files changed, 0 insertions, 24 deletions

diff --git a/coqprime-8.5/_CoqProject b/coqprime-8.5/_CoqProject
deleted file mode 100644
index 95b224864..000000000
--- a/coqprime-8.5/_CoqProject
+++ /dev/null
@@ -1,24 +0,0 @@
--R Coqprime Coqprime
-Coqprime/Cyclic.v
-Coqprime/EGroup.v
-Coqprime/Euler.v
-Coqprime/FGroup.v
-Coqprime/IGroup.v
-Coqprime/Iterator.v
-Coqprime/Lagrange.v
-Coqprime/ListAux.v
-Coqprime/LucasLehmer.v
-Coqprime/NatAux.v
-Coqprime/PGroup.v
-Coqprime/Permutation.v
-Coqprime/Pmod.v
-Coqprime/Pocklington.v
-Coqprime/PocklingtonCertificat.v
-Coqprime/Root.v
-Coqprime/Tactic.v
-Coqprime/UList.v
-Coqprime/ZCAux.v
-Coqprime/ZCmisc.v
-Coqprime/ZProgression.v
-Coqprime/ZSum.v
-Coqprime/Zp.v