coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 21 Mar 2021 23:34:03 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 15 Jan 2019 11:13:59 +0000
SHA1 of .buildinfo
38e55923d0d53d4cee14b9c5e2ba62a1f1d751db

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: 60e9068b2466769dc8c612e47b9adea3f0b869a7
SHA256: 4e78dfb4f5ce43f69fb1ad7d297fe6c98e57b6cac6aaa4d6fcd641d63d2eda40

Size: 13,824,642 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 20bdc66fd36f6808982ba552b1ba95912cb0c348
SHA256: 931785b94f758300c564409a837b515be7fc2d3f4b6eb953cc855ad8903709d8

Size: 1,423,010 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb

Size: 22,857,022 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: cad22644b0ecd894a36b86f8b10974fe7d109774
SHA256: 7ba91fbbc799d6e86b16d8bd45aa7ed39417d92b6945b868c997c600ad917dde

Size: 3,479,088 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: a12c6c736ea9d03334e3d4da661f30a87c0e18f1
SHA256: 6c891a8daa0a676589dc7541e00c534075d878158d6d06716fd5891620d54f34

Size: 13,523,474 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 89b0400ecc5a6b26a30d2534e97e904b1b6c21e1
Size: 79,684 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 0d866e1ae0fcb35b3e5087f8f3e12448e70010fe
Size: 253,366 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 36c4da9fb04dd519b3e424ef70faf8ee80250d8e
Size: 360,796 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 3966a9b09fd7da4ec3f4cb7d365e66c126171ee8
Size: 1,289,388 bytes

Submissions

ofgtq9v7
Submitted
Tue, 15 Jan 2019 11:13:59 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"