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:5e9b8b648b2e7977217593e5f5a544a7f58cd7d5
swh:1:dir:f49db5f3d10d9613f3a137e793cc985a9deb1856
val sourceroot : string option module Sites : sig val theories : string list end