From 1268bcbbc4143bc26c03e9e0ccb29216f36f5f91 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Fri, 5 Jan 2024 17:35:13 +0100
Subject: [PATCH] bootstrap software heritage

---
 artifact-doc/STATUS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artifact-doc/STATUS.md b/artifact-doc/STATUS.md
index e5d2152..1bc51df 100644
--- a/artifact-doc/STATUS.md
+++ b/artifact-doc/STATUS.md
@@ -12,4 +12,4 @@ This artifact is in reality a specially packaged version of a Coq plugin that, a
 
 ## Available
 
-todo (Zenodo?)
\ No newline at end of file
+Via [Software Heritage](https://www.softwareheritage.org/).