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:81683fb04bb39926a68e7735cffa2ead4f1fa3b3
swh:1:dir:88dab6f5587195270fdf1b8d373deb9ecde7619e
swh:1:snp:ae366bb6aac41ad022b73a8ff8534a8815aeb73c
swh:1:rel:9798cb5ce14f78f46e35be5049d2395942f0bb33
(menhir (modules smtlib_parser)) (ocamllex (modules smtlib_lexer))