coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 21 Jan 2019 22:20:56 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Tue, 19 Dec 2017 17:57:25 +0000
SHA1 of .buildinfo
36aafc3ae396196c6da2027b8db8a785360a8d9f

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 950b5ec0e2e03d1db34520e6c6cd8062f6b7b69b
SHA256: 00a1c4896be45a28fa5851419c6bb2918f41f29d8cc46964edf8f35198db03b4

Size: 18,899,520 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 3caf4a96f02ff4f364e84993628128d3289405ea
SHA256: 9ca0448159578841690ec33be3266ee82bc1ea1db14af06e32a4da5abcda6935

Size: 1,750,624 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 331a9cfc8d07ab74a4540b70c339b63b9b5e9a81
SHA256: fae2ea362f58e1506e4248405fc2c79704b720b3223308d627d5bacc434f2b31

Size: 22,871,288 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 14fe0d443c021d57559c6e2ecfd4325a61c05e39
SHA256: bcffdf4fdd002e87c25e360ccf4c20ba34d8506fd25dce46e8aa524f6aa28439

Size: 3,824,784 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: f7fcced082cbd2b622510f704360e63f194b1e72
SHA256: 1d8b28a69e8c48028e044bd3d8d1a7b48e108fbe5c6e860f928ffb84a30d2685

Size: 14,077,568 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 711a1b06600246daa1b93152f365c6547e4233b3
Size: 107,616 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 77cb56e0e467bcae23be8577d1b118f69ab9c6c7
Size: 336,300 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 048e77fad3b4c223e9bf673a9dc40fb389d8df38
Size: 492,876 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 345111691ebb16f14a48623fd6ba460445f7c298
Size: 1,857,188 bytes

Submissions

b4kjb99u
Submitted
Tue, 19 Dec 2017 17:57:26 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"