To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:eb73fc298d405abc1f26a83d598e487feb0314e8
swh:1:dir:a8e3ec674c883840a84ba9b6512ace35a3cb7b67
[submodule "etc/coq-scripts"] path = etc/coq-scripts url = https://github.com/JasonGross/coq-scripts.git