eLxr packagesDownload Page for opam_2.3.0-1+deb13u2_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://security.debian.org/debian-security bianca-security main
You can download the requested file from the pool/main-debian-community/o/opam/ subdirectory at:
eLxr security updates are officially distributed only via security.debian.org.
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 opam_2.3.0-1+deb13u2_arm64.deb:
| Exact Size | 3320120 Byte (3.2 MByte) |
|---|---|
| MD5 checksum | 03cce9f4431b61e188d75bbb71bd6c72 |
| SHA1 checksum | c447638d4f1f52b9d8bceeb16bd86141d6fe401a |
| SHA256 checksum | 5002a0dcdd840e56bec440e678d198fd3b683d395f0c7a2112028cea310ac0ab |