Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier None into a standard tar.gz archive.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier None as a standard tar.gz archive.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:ad0c16675d221938530269610308cd5a2c142687 into a bare git archive.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:ad0c16675d221938530269610308cd5a2c142687 as a bare git archive.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
{
"@xmlns": "http://www.w3.org/2005/Atom",
"@xmlns:codemeta": "https://doi.org/10.5063/SCHEMA/CODEMETA-2.0",
"author": {
"email": "hal@ccsd.cnrs.fr",
"name": "HAL"
},
"client": "hal",
"codemeta:applicationCategory": "info.info-pl",
"codemeta:author": [
{
"codemeta:affiliation": [
"IRIF",
"PI.R2"
],
"codemeta:name": "Yann Regis-Gianas"
},
{
"codemeta:affiliation": [
"DI-ENS",
"IRIF"
],
"codemeta:name": "Nicolas Jeannerod"
},
{
"codemeta:affiliation": "IRIF",
"codemeta:name": "Ralf Treinen"
}
],
"codemeta:codeRepository": "https://github.com/colis-anr/morbig",
"codemeta:dateCreated": "2018-10-17T12:57:45+02:00",
"codemeta:developmentStatus": "Actif",
"codemeta:license": {
"codemeta:name": "GNU General Public License v3.0 only"
},
"codemeta:name": "Morbig",
"codemeta:programmingLanguage": "OCaml",
"codemeta:runtimePlatform": "Menhir",
"codemeta:softwareVersion": "0.9.1",
"codemeta:url": "https://hal.archives-ouvertes.fr/hal-01897572",
"codemeta:version": "1",
"committer": "Yann Regis-Gianas",
"external_identifier": "hal-01897572",
"id": "hal-01897572"
} 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.
S src
B src/_build
PKG yojson
PKG ppx_deriving_yojson
PKG visitors.ppx
PKG visitors.runtime
PKG menhirLib
Computing file changes ...
