coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 31 Jan 2019 03:21:40 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 31 Jan 2019 03:51:48 +0000
SHA1 of .buildinfo
66148abe481671500e38f2416e4753caa43a5fdd

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 91bb8464af8d47240886c1b8801296e7f287405f
SHA256: cbb7959f118bdfb2764b4597b4e8b818cfe53e241f9aeaef35bd18d4828ca9e7

Size: 18,885,280 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 063fd638c5ec2e2ac96c3d300ba5e9f62749f4d8
SHA256: c4f91ef76edd7fbfa7afa91fc6ff53b9d218bd44458c87eda0ffe828aeb3d889

Size: 1,764,428 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 67abc9a2068a2d51673ce62eacb678201b5cef84
SHA256: 95f0adf2f840803d50a4511367f30a8b84215c8e9e1b273061a3b4ef883a0dc3

Size: 22,870,464 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: aec05bb310b561fca6c1d4842605d62136357d47
SHA256: cf0541552b254927948eeddabefb8f1fc7267b007a69fcd3468813bb42b29b17

Size: 3,822,720 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: ce070a1e5b96a95929c41f89b1ad616bb2ce933d
SHA256: 7d96c8362526f03c1ba759078751ba6dc94700b62f908acb0cedb5ac705fbb8d

Size: 14,087,572 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 0c518e208e945bf6674124390d537f5faaab052f
Size: 100,204 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 24c3bc3cdeec0bfa300951338d4cf8088346e25f
Size: 341,956 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 67d52b8e6a359db3a9842f9bdaaa57fb04443c18
Size: 483,600 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 93cc9e9b69879a5aaffb5bc214e1c6d2b996390c
Size: 1,820,516 bytes

Submissions

kysckdmo
Submitted
Thu, 31 Jan 2019 03:51:49 +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"