Make Coq 8.5 the default target for Fiat-Crypto

Instructions for 8.4 build in the README

1 files changed, 24 insertions, 0 deletions

diff --git a/coqprime-8.4/_CoqProject b/coqprime-8.4/_CoqProject
new file mode 100644
index 000000000..95b224864
--- /dev/null
+++ b/coqprime-8.4/_CoqProject
@@ -0,0 +1,24 @@
+-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