diff --git a/.gitignore b/.gitignore
index 0755c68..5f76f8a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@
 /agda-stdlib-1.1.tar.gz
 /agda-stdlib-1.2.tar.gz
 /agda-stdlib-1.3.tar.gz
+/agda-stdlib-1.7.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 5a22a4b..c5d4156 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -1,8 +1,8 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 Name:           Agda-stdlib
-Version:        1.3
-Release:        6%{?dist}
+Version:        1.7
+Release:        1%{?dist}
 Summary:        Agda standard libraries
 
 License:        MIT
@@ -15,7 +15,7 @@ BuildRequires:  Agda
 # .agdai files are arch independent
 BuildArch:      noarch
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
-Requires:       Agda = 2.6.1
+Requires:       Agda = 2.6.2
 
 %description
 Agda standard libraries
@@ -67,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 %doc html
 
 %changelog
+* Mon Aug  9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
+- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
+
 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
 
diff --git a/sources b/sources
index 884eedf..78335a9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (agda-stdlib-1.3.tar.gz) = a1b78bd0e4bbca4cfa8c565cf14f05177cacbb28b63fae98bbdce482bca385a169c7aae0ac14973faf186e812abf7d8af47bfeb80110d9b0f671e1a475dbf109
+SHA512 (agda-stdlib-1.7.tar.gz) = 2ca0bfa1617f01b8994b3a3c9918b74ca9f05908e7a4fdcaf71e8717ec6d8b0e902214bd8ac39c64223f3ad5bee290bd60eb7a0e3492d8609f8f8248f21aea1a