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:d309f1d434bbb0abd263a215340950482a36d1f8
val sourceroot : string option module Sites : sig val theories : string list end