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