You have requested the cooking of the directory with identifier swh:1:dir:daf6444373e3e2055f83f68153938ae7f416dd51 into a standard tar.gz archive.
Are you sure you want to continue ?
You have requested the download of the directory with identifier swh:1:dir:daf6444373e3e2055f83f68153938ae7f416dd51 as a standard tar.gz archive.
Are you sure you want to continue ?
You have requested the cooking of the history heading to revision with identifier swh:1:rev:a2c37cf3e383d0fe6c541c43ab3957b550b0a507 into a bare git archive.
Are you sure you want to continue ?
You have requested the download of the history heading to revision with identifier swh:1:rev:a2c37cf3e383d0fe6c541c43ab3957b550b0a507 as a bare git archive.
Are you sure you want to continue ?
The provided email is not well-formed.
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.
Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.
Processing "take a new snapshot" request ...
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.
| File | Mode | Size |
|---|---|---|
| examples | ||
| scratch | ||
| theories | ||
| tools | ||
| .gitignore | -rw-r--r-- | 130 bytes |
| LICENSE | -rw-r--r-- | 1.5 KB |
| Makefile | -rw-r--r-- | 485 bytes |
| README.md | -rw-r--r-- | 1.6 KB |
| _CoqProject | -rw-r--r-- | 3.2 KB |
