From accc9fa1f5689d1bf57d3024c4ad293fd10f3617 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 11:47:16 -0700
Subject: Make Coq 8.5 the default target for Fiat-Crypto

Instructions for 8.4 build in the README
---
 coqprime-8.4/_CoqProject | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 coqprime-8.4/_CoqProject

(limited to 'coqprime-8.4/_CoqProject')

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
-- 
cgit v1.2.3