coq_8.8.2-1_arm64.buildinfo (view)

Source
coq
Version
8.8.2-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 7 Jan 2019 05:42:09 +0000
Build-Path
/build/coq-cjmFgN/coq-8.8.2

First submitted
Mon, 7 Jan 2019 06:11:59 +0000
SHA1 of .buildinfo
41ff7864bfa50e7f504e75af0b928fa5faf34d1a

Binaries

coq (coq_8.8.2-1_arm64.deb)
SHA1: e3a2877d09d1db97758ccbbb649d2bb272006f32
SHA256: cb8024e989daed2221d209f35a270c22eee79c300590d2e270e605ad85107841

Size: 18,547,392 bytes
coq-theories (coq-theories_8.8.2-1_arm64.deb)
SHA1: 0daa77dc13121885dd457bcad8739e7349a44f62
SHA256: 5dfc64355c672b6d57dfc68d206823e694271295ba6aa3047c62cd5b68a46cb0

Size: 20,168,012 bytes
libcoq-ocaml (libcoq-ocaml_8.8.2-1_arm64.deb)
SHA1: 77c052541ce88fb6f77920f2e4aaee64bebdd41e
SHA256: 92b4aa3bc2c5b83826da0238772b74279a09cabe4a9fa88d904b70928da35c92

Size: 4,867,244 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.8.2-1_arm64.deb)
SHA1: 61da527b2246baf24c598784b1ef322ba34efb1d
SHA256: 3e8aa94e155d2d1ebd9d95ac018b241186cfafc23ccb2ae60272008c27ef4447

Size: 13,402,908 bytes

Other checksums

libcoq-ocaml-dbgsym_8.8.2-1_arm64.deb
SHA1: bf0dfeeba3576eb95d0ad32cb0ab29adadb41ddf
Size: 441,440 bytes
coq-dbgsym_8.8.2-1_arm64.deb
SHA1: b6e58572e09f808bb66bbdd310d8a314d9076693
Size: 2,035,668 bytes

Submissions

gdr9afu4
Submitted
Mon, 7 Jan 2019 06:12:00 +0000
Signed by
0x537EF265F3FC4FA5

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1546834024"