diff --git a/artifact-doc/STATUS.md b/artifact-doc/STATUS.md index ac93ddf..4cbab5e 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 -Via [Software Heritage]([https://www.softwareheritage.org/](https://archive.softwareheritage.org/browse/revision/1268bcbbc4143bc26c03e9e0ccb29216f36f5f91/?origin_url=https://github.com/coq-community/trocq)). +Via [https://www.softwareheritage.org/](https://archive.softwareheritage.org/browse/revision/1268bcbbc4143bc26c03e9e0ccb29216f36f5f91/?origin_url=https://github.com/coq-community/trocq).