coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 22 Dec 2018 09:50:59 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sat, 22 Dec 2018 11:28:08 +0000
SHA1 of .buildinfo
181dfae677ff2b0d69617ec67f66e27ce7a9bef1

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: ae432c612cd953dd1a3fb8f70b22296f725fdec7
SHA256: 1f5dda5c1af62766ba4f44bd63054feda778306d434a36cd6f55fe35d0c9974d

Size: 18,891,160 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 546dfe25b8826ff8c1e1cab757c58840992dbff9
SHA256: 265c956c1f0891350d258f0ec6b401c7fe825e1466e003432bc3f14e05f8cfd9

Size: 1,762,204 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: f401a4fc7cc6480ae7a861162c17ef2de2ad6214
SHA256: 92303fc2a34108556894660139c0edfd995cb10b43e1d072e4fc386d1ff250a7

Size: 22,862,088 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 6c23cd2790a9e74b908f0ab53881997f83377e55
SHA256: aa118f93bb1f4f031533123cd8c1c7945ec52f28a65f2238da7d266a361006d2

Size: 3,822,676 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: f979244ea1c932e2cf96709a9e170e6dd00a007b
SHA256: dad87cc9f6591bb2b1bbc2bd96cd2e91f1815fab35bb578843a654341c3c0807

Size: 14,086,384 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 529f180cf1afe8a31fdf68318c834bbd9cc35b64
Size: 99,984 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 4e99b14c76d974c4ac5ba408b53a207489ed3257
Size: 341,732 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 1a393ddebbdec447cca5f47d559fad2884ab0ad8
Size: 484,988 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: eb6140197b41188c66d89dba487f79d229ed7bd2
Size: 1,816,632 bytes

Submissions

ucr9vcdj
Submitted
Sat, 22 Dec 2018 11:28:08 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"