diff --git a/.fmf/version b/.fmf/version
deleted file mode 100644
index d00491f..0000000
--- a/.fmf/version
+++ /dev/null
@@ -1 +0,0 @@
-1
diff --git a/mpfr.spec b/mpfr.spec
index 68ad652..f6313d0 100644
--- a/mpfr.spec
+++ b/mpfr.spec
@@ -1,9 +1,8 @@
 Summary: C library for multiple-precision floating-point computations
 Name: mpfr
-Version: 4.2.2
-Release: 2%{?dist}
+Version: 4.2.0
+Release: 3%{?dist}
 URL: https://www.mpfr.org/
-VCS: git:https://gitlab.inria.fr/mpfr/mpfr.git
 
 License: LGPL-3.0-or-later
 BuildRequires: gcc
@@ -11,10 +10,22 @@ BuildRequires: gmp-devel
 BuildRequires: make
 BuildRequires: texinfo
 
-Source: https://www.mpfr.org/%{name}-%{version}/%{name}-%{version}.tar.xz
+Source0: https://www.mpfr.org/%{name}-%{version}/%{name}-%{version}.tar.xz
 
 # Upstream post-release patches.  This currently contains:
-#Patch0: https://www.mpfr.org/%%{name}-%%{version}/allpatches
+# - tsprintf-thousands.patch
+# - ui_pow_ui-overflow.patch
+# - multibyte-decimal_point.patch
+# - rec_sqrt-zivloop.patch
+# - reldiff.patch
+# - tests-reuse.patch
+# - pow_general.patch
+# - compound.patch
+# - printf_large_prec_for_g.patch
+# - gcc-pr106155-workaround.patch
+# - inp_str-nullchar.patch
+# - strtofr-nullchar.patch
+Patch0: https://www.mpfr.org/%{name}-%{version}/allpatches
 
 %description
 The MPFR library is a C library for multiple-precision floating-point
@@ -74,7 +85,6 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
 
 %files
 %license COPYING COPYING.LESSER
-%dir %{_pkgdocdir}
 %{_pkgdocdir}/NEWS
 %{_pkgdocdir}/README
 %{_libdir}/libmpfr.so.6*
@@ -87,7 +97,6 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
 
 %files doc
 %license COPYING COPYING.LESSER
-%dir %{_pkgdocdir}
 %{_pkgdocdir}/AUTHORS
 %{_pkgdocdir}/BUGS
 %{_pkgdocdir}/ChangeLog
@@ -98,30 +107,6 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
 %{_infodir}/mpfr.info*
 
 %changelog
-* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.2-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
-
-* Thu Mar 20 2025 Jerry James <loganjerry@gmail.com> - 4.2.2-1
-- Update to MPFR 4.2.2
-
-* Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-6
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
-
-* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-5
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
-
-* Thu May  9 2024 Jerry James <loganjerry@gmail.com> - 4.2.1-4
-- Own the documentation directory (bz 2279758)
-
-* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-3
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
-
-* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
-
-* Wed Oct  4 2023 Jerry James <loganjerry@gmail.com> - 4.2.1-1
-- Update to MPFR 4.2.1
-
 * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.0-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
 
diff --git a/plans/ci.fmf b/plans/ci.fmf
deleted file mode 100644
index c1627f9..0000000
--- a/plans/ci.fmf
+++ /dev/null
@@ -1,5 +0,0 @@
-summary: Basic smoke test
-discover:
-    how: fmf
-execute:
-    how: tmt
diff --git a/sources b/sources
index 9786c30..19c885c 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (mpfr-4.2.2.tar.xz) = eb9e7f51b5385fb349cc4fba3a45ffdf0dd53be6dfc74932dc01258158a10514667960c530c47dd9dfc5aa18be2bd94859d80499844c5713710581e6ac6259a9
+SHA512 (mpfr-4.2.0.tar.xz) = 58e843125884ca58837ae5159cd4092af09e8f21931a2efd19c15de057c9d1dc0753ae95c592e2ce59a727fbc491af776db8b00a055320413cdcf2033b90505c
diff --git a/tests/silvester-number/main.fmf b/tests/silvester-number/main.fmf
deleted file mode 100644
index 919dffd..0000000
--- a/tests/silvester-number/main.fmf
+++ /dev/null
@@ -1,6 +0,0 @@
-summary: Calculate Silvester Number
-framework: shell
-test: ./test.sh
-component: mpfr
-recommends:
-  - gawk
diff --git a/tests/silvester-number/test.sh b/tests/silvester-number/test.sh
deleted file mode 100755
index d46c907..0000000
--- a/tests/silvester-number/test.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh -eux
-
-OUT="$(gawk -M 'BEGIN {
-  s = 2
-  for (i = 1; i <= 7; i++)
-    s = s * (s - 1) + 1
-  print s
-}')"
-
-test "$OUT" = "113423713055421844361000443"
diff --git a/tests/tests.yml b/tests/tests.yml
new file mode 100644
index 0000000..dd32ccf
--- /dev/null
+++ b/tests/tests.yml
@@ -0,0 +1,46 @@
+- hosts: all
+  vars:
+    - ansible_python_interpreter: /usr/bin/python3
+    - artifacts: ./artifacts
+  tags:
+    - classic
+    - container
+    - atomic
+  tasks:
+    - name: create artifacts
+      file:
+        path: "{{ artifacts }}"
+        state: directory
+      delegate_to: localhost
+
+    - name: do it all
+      block:
+        - name: calculate Silvester number
+          command: |
+            gawk -M 'BEGIN {
+            s = 2
+            for (i = 1; i <= 7; i++)
+            s = s * (s - 1) + 1
+            print s
+            }'
+          register: silvester
+
+        - name: verify Silvester number
+          fail:
+          when: silvester.stdout != '113423713055421844361000443'
+
+      always:
+        - name: write log
+          copy:
+            content: |
+              stderr:
+              {{ silvester.stderr }}
+              stdout:
+              {{ silvester.stdout }}
+            dest: "{{ artifacts }}/test.log"
+          delegate_to: localhost
+
+#        fetch:
+#          dest: "{{ artifacts }}/"
+#          src: "/tmp/test.log"
+#          flat: yes