generic DOI

coq-community · Jan 15, 2024 · e06e6e7 · e06e6e7
1 parent 0d12389
commit e06e6e7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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