DOI etc for artifact

goblint · Jan 5, 2023 · bf05c63 · bf05c63
1 parent f3d9453
commit bf05c63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/artifact-descriptions/esop23.md b/docs/artifact-descriptions/esop23.md
@@ -1,7 +1,7 @@
 # ESOP '23 Artifact Description
 
 This is the artifact description for our ESOP '23 paper "Clustered Relational Thread-Modular Abstract Interpretation with Local Traces".
-The artifact is available from Zenodo at [here](TODO: Update URL).
+The artifact is available from Zenodo at [https://doi.org/10.5281/zenodo.7505428](https://doi.org/10.5281/zenodo.7505428). The `md5` of the `.ova` file is `3f6a5af9fe94cb377c397758b4941b15`.
 
 The artifact is a VirtualBox Image based on Ubuntu 22.04.1. The login is `goblint:goblint`.