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/).