docs: Update pub_url

pPomCo · Oct 26, 2023 · 2c90a22 · 2c90a22
1 parent 904761f
commit 2c90a22
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -36,7 +36,7 @@ studied with the classical game theoretic tools.
   - [MathComp](https://math-comp.github.io) 2.0.0 or later
 - Coq namespace: `Decision`
 - Related publication(s):
-  - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://ut3-toulouseinp.hal.science/hal-03782650) 
+  - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://doi.org/10.4230/LIPIcs.ITP.2023.25)
 
 
 To build and install manually, do:

diff --git a/meta.yml b/meta.yml
@@ -24,7 +24,7 @@ description: |-
   into games of complete information, i.e., without any uncertainty.
 
 publications:
-  - pub_url: "https://ut3-toulouseinp.hal.science/hal-03782650"
+  - pub_url: "https://doi.org/10.4230/LIPIcs.ITP.2023.25"
     pub_title: "Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)"
 #   pub_doi: TODO