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:e8423ab54831b57fea698bb8c3be4dcff98ba2da
(dirs src theories examples scripts) (install (section (bin)) (files (scripts/testing/runtest as ec-runtest)))