diff --git a/README.md b/README.md
index 887068a..87066e6 100644
--- a/README.md
+++ b/README.md
@@ -20,8 +20,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users
 
 
-[doi-shield]: https://zenodo.org/badge/DOI/10.5281/zenodo.10492404.svg
-[doi-link]: https://doi.org/10.5281/zenodo.10492404
+[doi-shield]: https://zenodo.org/badge/DOI/10.5281/zenodo.10492403.svg
+[doi-link]: https://doi.org/10.5281/zenodo.10492403
 
 Trocq is a prototype of a modular parametricity plugin for Coq, aiming
 to perform proof transfer by translating the goal into an associated
diff --git a/meta.yml b/meta.yml
index 27e8bee..1694f6c 100644
--- a/meta.yml
+++ b/meta.yml
@@ -5,7 +5,7 @@ organization: coq-community
 community: true
 action: false
 coqdoc: false
-doi: 10.5281/zenodo.10492404
+doi: 10.5281/zenodo.10492403
 
 synopsis: >-
   A modular parametricity plugin for proof transfer in Coq