You have requested the cooking of the directory with identifier swh:1:dir:48ce01a142a0ebaf9cf2805bbe1a61a94af4da98 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:48ce01a142a0ebaf9cf2805bbe1a61a94af4da98 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:bdb702dd4518c2435fd142ae652c607ee2e150b1 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:bdb702dd4518c2435fd142ae652c607ee2e150b1 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 |
|---|---|---|
| Rreals.v | -rw-r--r-- | 11.3 KB |
| Rreals_iso.v | -rw-r--r-- | 25.4 KB |
| Rsign.v | -rw-r--r-- | 896 bytes |
