coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 12 May 2018 22:31:38 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 9 Apr 2017 16:21:32 +0000
SHA1 of .buildinfo
5e28fa69f4590c2f9c753e75087b6076d1b34957

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: f6a9ae2f0cf26a284379015ae207bbf2431e3441
SHA256: 461ee03a1be62c7f71052c1af2bac4d4f8f7423cb7e3c1f072d6ee7642728085

Size: 13,821,212 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 196c3a277e823bd092405a98c5a48c5fcd7d07af
SHA256: 9fe0e6c73a19e0a25d2dce8917a60aad97463e1b6fc39c309bfdfda93ab04512

Size: 1,422,820 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: ab8d8f0fc4b54cf732c43ef74edeb3a3fe5b6ac1
SHA256: f368af75aea45c037b3c57385c575e88c4283e429a0cc314f32ec7f537ead77c

Size: 3,478,984 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: e788ec1ed1f596fabaa9efd6b6ea22dbb76aaffc
SHA256: 01a67bbff85595f4abaa233bdd8731d178f96a1f72c64c0d4451adc24e6e79d4

Size: 13,522,630 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 7745fecc12ec812c020264cebb0414db92831882
Size: 79,208 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 83e2ea4b4f401657a1ff9a77db9514105cc4d713
Size: 254,412 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 0bb3bdf62691806854a28297d6bc92a9d27c9ff7
Size: 359,880 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: c145b7109ca6349a86d5d6226bd454180438d68d
Size: 1,330,906 bytes

Submissions

nhracxix
Submitted
Sun, 9 Apr 2017 16:21:32 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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