diff --git a/pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
similarity index 85%
rename from pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix
rename to pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
index 5f4275a34e4..fa8ed9e80a7 100644
--- a/pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
@@ -2,7 +2,7 @@
 
 agda.mkDerivation (self: rec {
   version = "18437";
-  name = "aaron-stump-stdlib-${version}";
+  name = "agda-iowa-stdlib-${version}";
 
   src = fetchsvn {
     url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
@@ -18,7 +18,7 @@ agda.mkDerivation (self: rec {
 
   meta = {
     homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
-    description = "A standard library by Aaron Stump";
+    description = "Agda standard library developed at Iowa";
     license = stdenv.lib.licenses.free;
     platforms = stdenv.lib.platforms.unix;
     maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 41c17422303..d3caeccb1bf 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6786,7 +6786,7 @@ let
 
   ### DEVELOPMENT / LIBRARIES / AGDA
 
-  aaronStumpStdlib = callPackage ../development/libraries/agda/aaron-stump-stdlib {};
+  agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {};
 
   agda = callPackage ../build-support/agda {
     glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;