From 742cfc5f052409761f6b365b5712b5a5117f2106 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Fri, 24 May 2019 13:27:22 +0200
Subject: [PATCH] Replace fetchgitPrivate by its builtins counterpart

---
 libs.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/libs.nix b/libs.nix
index 2ddfcbb5..48787af1 100644
--- a/libs.nix
+++ b/libs.nix
@@ -36,7 +36,11 @@ rec {
     in rec {
       version = json.tag;
       name = "${json.meta.name}-${version}";
-      src = fetchgitPrivate json.git;
+      src = builtins.fetchGit {
+        url = json.git.url;
+        ref = "master";
+        rev = json.git.rev;
+      };
     };
 
   wrap = { paths ? [], vars ? {}, file ? null, script ? null, name ? "wrap" }:
-- 
2.41.0