diff --git a/.gitignore b/.gitignore
index 7a73e11..65e645d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,5 +12,3 @@
 /agda-stdlib-1.7.1.tar.gz
 /agda-stdlib-1.7.2.tar.gz
 /agda-stdlib-1.7.3.tar.gz
-/agda-stdlib-2.1.1.tar.gz
-/agda-stdlib-2.3.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 0066267..6137a51 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -1,9 +1,7 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
-%global Agda_version 2.8.0
-
 Name:           Agda-stdlib
-Version:        2.3
+Version:        1.7.3
 Release:        %autorelease
 Summary:        Agda standard libraries
 
@@ -13,11 +11,11 @@ Source0:        https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 BuildRequires:  ghc-filemanip-devel
-BuildRequires:  Agda = %{Agda_version}
+BuildRequires:  Agda
 # .agdai files are arch independent
 BuildArch:      noarch
 Provides:       agda-stdlib = %{version}-%{release}
-Requires:       Agda = %{Agda_version}
+Requires:       Agda = 2.6.4.3
 # Agda can't build on armv7hl and ix86 currently
 ExcludeArch:    armv7hl %{ix86}
 
@@ -45,7 +43,7 @@ dist/build/GenerateEverything/GenerateEverything
 %global agda agda --no-libraries -i. -isrc
 %{agda} Everything.agda
 
-%{agda} --html -idoc doc/README.agda
+%{agda} --html README.agda
 
 
 %install
@@ -56,7 +54,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 
 
 %check
-LANG=C.utf8 %{agda} -idoc doc/README.agda
+LANG=C.utf8 %{agda} README.agda
 
 
 %files
diff --git a/sources b/sources
index 2e6286c..f479af9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (agda-stdlib-2.3.tar.gz) = 02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182
+SHA512 (agda-stdlib-1.7.3.tar.gz) = 23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120