From 714dc47696fa4f6039f1cb7a797c80473006f7e1 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Sun, 28 Sep 2014 02:21:21 +0100
Subject: agda-iowa-stdlib: renamed from aaron-stump-stdlib

Per author's request.
---
 .../libraries/agda/aaron-stump-stdlib/default.nix  | 26 ----------------------
 .../libraries/agda/agda-iowa-stdlib/default.nix    | 26 ++++++++++++++++++++++
 2 files changed, 26 insertions(+), 26 deletions(-)
 delete mode 100644 pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix
 create mode 100644 pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix

(limited to 'pkgs/development/libraries/agda')

diff --git a/pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix b/pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix
deleted file mode 100644
index 5f4275a34e4..00000000000
--- a/pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix
+++ /dev/null
@@ -1,26 +0,0 @@
-{ stdenv, agda, fetchsvn }:
-
-agda.mkDerivation (self: rec {
-  version = "18437";
-  name = "aaron-stump-stdlib-${version}";
-
-  src = fetchsvn {
-    url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
-    rev = version;
-    sha256 = "1g6pwvrcir53ppf6wd8s62gizc3qy35mp229b66mh53abg4brik2";
-  };
-
-  sourceDirectories = [ "./." ];
-  buildPhase = ''
-    patchShebangs find-deps.sh
-    make
-  '';
-
-  meta = {
-    homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
-    description = "A standard library by Aaron Stump";
-    license = stdenv.lib.licenses.free;
-    platforms = stdenv.lib.platforms.unix;
-    maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
-  };
-})
diff --git a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
new file mode 100644
index 00000000000..fa8ed9e80a7
--- /dev/null
+++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
@@ -0,0 +1,26 @@
+{ stdenv, agda, fetchsvn }:
+
+agda.mkDerivation (self: rec {
+  version = "18437";
+  name = "agda-iowa-stdlib-${version}";
+
+  src = fetchsvn {
+    url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
+    rev = version;
+    sha256 = "1g6pwvrcir53ppf6wd8s62gizc3qy35mp229b66mh53abg4brik2";
+  };
+
+  sourceDirectories = [ "./." ];
+  buildPhase = ''
+    patchShebangs find-deps.sh
+    make
+  '';
+
+  meta = {
+    homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
+    description = "Agda standard library developed at Iowa";
+    license = stdenv.lib.licenses.free;
+    platforms = stdenv.lib.platforms.unix;
+    maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
+  };
+})
-- 
cgit 1.4.1