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:99681c79fdf4bc768d0906df5e164d4877bbd095
swh:1:dir:9078cbb936c10fdb6f28639cb79ea61e179e554a
COQDOCFLAGS=--interpolate --parse-comments --utf8 $(COQLIBS_NOML)
