From 60a6b81e2d10960b0494fdb5b310f9f86558237f Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Wed, 20 Dec 2017 10:54:08 -0800
Subject: [PATCH] coqPackages.equations: -> 1.0

---
 pkgs/development/coq-modules/equations/default.nix | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix
index 34210ba01bb5..1867d9605661 100644
--- a/pkgs/development/coq-modules/equations/default.nix
+++ b/pkgs/development/coq-modules/equations/default.nix
@@ -3,15 +3,15 @@
 let param =
   {
     "8.6" = {
-      version = "1.0-beta";
-      rev = "v1.0-beta";
-      sha256 = "00pzlh5ij7s2hmpvimq1hjq3fjf0nrk997l3dl51kigx5r5dnvxd";
+      version = "1.0";
+      rev = "v1.0";
+      sha256 = "19ylw9v9g35607w4hm86j7mmkghh07hmkc1ls5bqlz3dizh5q4pj";
     };
 
     "8.7" = {
-      version = "cdf8c53";
-      rev = "cdf8c53f1f2274b29506f53bff476409ce717dc5";
-      sha256 = "0ipjzmviwnp0ippbkn03ld4j4j0dkzmyidmj4dvpdvymrkv31ai1";
+      version = "1.0";
+      rev = "v1.0-8.7";
+      sha256 = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h";
     };
 
   }."${coq.coq-version}"