From 902cdcfa7d9dcd180060fa2771e0329eb4dc26d1 Mon Sep 17 00:00:00 2001
From: attobot <attobot@users.noreply.github.com>
Date: Fri, 8 Dec 2017 08:02:26 +0000
Subject: [PATCH] Tag Nemo.jl v0.7.0
 [https://github.com/Nemocas/Nemo.jl/releases/tag/v0.7.0] (#12379)

---
 Nemo/versions/0.7.0/requires | 1 +
 Nemo/versions/0.7.0/sha1     | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 Nemo/versions/0.7.0/requires
 create mode 100644 Nemo/versions/0.7.0/sha1

diff --git a/Nemo/versions/0.7.0/requires b/Nemo/versions/0.7.0/requires
new file mode 100644
index 00000000000..137767a42af
--- /dev/null
+++ b/Nemo/versions/0.7.0/requires
@@ -0,0 +1 @@
+julia 0.6
diff --git a/Nemo/versions/0.7.0/sha1 b/Nemo/versions/0.7.0/sha1
new file mode 100644
index 00000000000..e81ab542a53
--- /dev/null
+++ b/Nemo/versions/0.7.0/sha1
@@ -0,0 +1 @@
+46da26e02e45394b66d04b712150fca5a9b7b3f9