coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 3 Jan 2019 06:50:06 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 3 Jan 2019 08:33:06 +0000
SHA1 of .buildinfo
ceef6f3c0d2e4ff68c8006420971114d8b43f908

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 15681839145f731bb6caf523b5319ccc4f0dd5d2
SHA256: 80a9ff086d5a28508d18c3abc6eaf908beae034e938e998223300675d7ee2237

Size: 18,891,308 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 40829afc17332f7f1fa0e7152168d80e3360ac35
SHA256: 7c7a11ab1dcfcbd6456f52b420bbbb977c6d19907b73789af2ca750201e84e56

Size: 1,766,336 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: d666aa45b97181edb8e094710926036739d4f1e6
SHA256: c9b1cf5922bb3cc8325bbb63f2fece83012a5a3301f9ad8021fb7b24becaa37e

Size: 22,868,232 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 8448672eb80a68d4190e9b271741f7df434f3e56
SHA256: d90188675f6e39c009d0c30b854740326f4071d30da8940c9f95b1fa80588820

Size: 3,823,164 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 29457ca6c86b3728255252bdf541a04fa00e5ff6
SHA256: d4e6fa5d4b324f458066468aa717c4db22332354e0f91729489adb31d21c4178

Size: 14,081,356 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: ee56513894a6793bbde71d3644d7016c5d1caa6f
Size: 100,164 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: e7c03a5b3bb4c081094c53951c9cb266093055cc
Size: 341,164 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 2ab89f9a60df5531ed45a719161367a71c95c5b7
Size: 483,760 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 7f6f963e284c78036986c704669149793cf2104d
Size: 1,816,540 bytes

Submissions

kd7iieu3
Submitted
Thu, 3 Jan 2019 08:33:07 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1506416932"