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