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:0aa9dcc0fe1a8bfd1578abcdd3139174adfa1146
swh:1:dir:72c754b1a251b10ae91b34457e013eb4bec2dcff
../../lib_protocol_compiler/dune_protocol.v0