From bfcef94413b66861ef865a3b31243383f6c4f97c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rio=20Pereira?= <mjp.pereira@fct.unl.pt>
Date: Thu, 27 Jun 2024 00:50:31 +0100
Subject: [PATCH] Update FM AE.

---
 fm2024_artifact.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fm2024_artifact.html b/fm2024_artifact.html
index 7943433..152aea9 100644
--- 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>