From 24474528e42acedb96e5464a3270ce1c07e18a8a Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 22 Dec 2017 17:07:25 +0000
Subject: coqPackages.contribs.containers: fix url

---
 pkgs/development/coq-modules/contribs/default.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'pkgs/development/coq-modules')

diff --git a/pkgs/development/coq-modules/contribs/default.nix b/pkgs/development/coq-modules/contribs/default.nix
index e7ea6f9a911..88ef8011aa8 100644
--- a/pkgs/development/coq-modules/contribs/default.nix
+++ b/pkgs/development/coq-modules/contribs/default.nix
@@ -189,10 +189,10 @@ let mkContrib = repo: revs: param:
     sha256 = "1ddwzg12pbzpnz3njin4zhpph92kscrbsn3bzds26yj8fp76zc33";
   };
 
-  containers = mkContrib "containers" [ ] {
-    version = "v8.6.0-10-g2432994";
-    rev = "2432994b4a0a63f28b21aad23d0c3c90c7630890";
-    sha256 = "1q0i20qag2c8jh6jw63s09d8nr6m1zaz4hqblg5mmmp5zh6fllk6";
+  containers = mkContrib "containers" [ "8.6" ] {
+    version = "8.6.0";
+    rev = "fa1fec7";
+    sha256 = "1ns0swlr8hzb1zc7fsyd3vws1vbq0vvfxcf0lszqnca9c9hfkfy4";
   };
 
   continuations = mkContrib "continuations" [ ] {
-- 
cgit 1.4.1