eLxr packagesDownload Page for libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb on 64-bit ARMv8 machines
If you are running eLxr, it is strongly suggested to use a package manager like apt to download and install packages, instead of doing so manually via this website.
You should be able to use any of the listed mirrors by adding a line to your /etc/apt/sources.list like this:
deb http://mirror.elxr.dev/elxr bianca main
Replacing mirror.elxr.dev/elxr with the mirror in question.
You can download the requested file from the pool/main-debian-community/c/coq/ subdirectory at any of these sites:
Note that in some browsers you will need to tell your browser you want the file saved to a file. For example, in Firefox or Mozilla, you should hold the Shift key when you click on the URL.
More information on libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb:
| Exact Size | 68569160 Byte (65.4 MByte) |
|---|---|
| MD5 checksum | dd87ecc10f75d4a543e18eb325dc6fc0 |
| SHA1 checksum | 5aba0ad90a2acba026dca2e795922c3be2494b74 |
| SHA256 checksum | fc9476fd38b34356da7610f9f468f85855cee3e753e7d2893cfef417855bb143 |