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