Update FM AE.

mariojppereira · Jun 26, 2024 · bfcef94 · bfcef94
1 parent b6b254c
commit bfcef94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fm2024_artifact.html b/fm2024_artifact.html
@@ -49,7 +49,7 @@ <h1>FM 2024 Artifact</h1>
 
       <ul>
         <li>The Virtual Box .ova file can be found
-        <a href="http://doi.org/10.5281/zenodo.4724119">here</a>.<p></p></li>
+        <a href="https://zenodo.org/records/12557309">here</a>.<p></p></li>
 
         <li><p>A plain-text instructions file can be
             found <a href=README_fm.md>here</a>.</p>