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:4b2400607e4411e65998ef3982a54211cd2f5a89
*~ *.pyc *.pyo /_build /theories/attic /ec.* /src/*.exe *.eco /*.ec /*.smt /*.why .merlin *.install