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:72f256c01ff42261b8def02ddc8d602bd4a6fd37
swh:1:dir:4fc393eae0e6002aa1e12640f7cb6af6ef068787
(dirs src theories examples scripts) (install (section (bin)) (files (scripts/testing/runtest as ec-runtest)))