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:c0fd989adda2587852cf919380695f815a6e1d63
swh:1:dir:66cdae44fa39bbeb58e7e5c654804fb3aac0e515
bin: [ "src/michocoq/extraction/_build/michocoq.native" {"michocoq"} ]