coq_8.5-2_armhf.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
armhf

Build-Origin
—
Build-Architecture
armhf
Build-Date
—
Build-Path
/build/1st/coq-8.5

First submitted
Wed, 9 Nov 2016 00:36:28 +0000
SHA1 of .buildinfo
67030b67376d88ca0a68215a0b0ec0842b406cf8

Binaries

coq (coq_8.5-2_armhf.deb)
SHA1: 12ee72a797344da0035089b04bc2d90ccb678f21
SHA256: d8a8d6e25c99da895f20fe13170deed45d992399c182164f64582b20f3e5565d

Size: 13,562,362 bytes
coqide (coqide_8.5-2_armhf.deb)
SHA1: 2289dbdeb7514f79a5b70012c17763645d760b25
SHA256: 0f0b37298ea86d0b8a415e32567a3b0669e8b0420d2b33e801fbcdd40291d722

Size: 1,347,898 bytes
coq-theories (coq-theories_8.5-2_armhf.deb)
SHA1: 15d7d4a6591d554a4b348aed608595b9fab7886a
SHA256: 40209104472d8ddb3da630af97dd346af5f384a215bdfdd029795a44b205c0ed

Size: 24,187,214 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_armhf.deb)
SHA1: e75a6184653ccd2b259e49f64b7a55a1f513e681
SHA256: 81f22ab3b769ff2b5a4d3c2896784e0b8135da55931acac34ac2a56f7fb25ea1

Size: 3,492,920 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_armhf.deb)
SHA1: 729973b6115912018a01f87b02a5911735ff5e99
SHA256: cfc692f29ccf5a0a8168776b6592dc5509527954968439af3611b87c693d649e

Size: 14,275,986 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_armhf.deb
SHA1: 27b2a0808a02eb9bf3b7095a2347929397dd0133
Size: 89,432 bytes
libcoq-ocaml-dbgsym_8.5-2_armhf.deb
SHA1: 15b0c380a875c93e70c99d2cdf9199dc7bc205bf
Size: 273,384 bytes
coqide-dbgsym_8.5-2_armhf.deb
SHA1: 1d018547338fa1b07c2d93b3cbcdbc1b1741e90a
Size: 363,934 bytes
coq-dbgsym_8.5-2_armhf.deb
SHA1: f1cbbbd78e5dd586cb0260c3477d3b87068c2def
Size: 1,427,346 bytes

Submissions

szkzhgvc
Submitted
Wed, 9 Nov 2016 00:36:29 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment