coq_8.9.0-1_armhf.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 19 May 2019 20:35:16 +0000
Build-Path
/build/1st/coq-8.9.0

First submitted
Mon, 20 May 2019 03:20:42 +0000
SHA1 of .buildinfo
ceb197ff8b524cfd5d7e783cbf72362c4013e22d

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 35f5b902051f1eb941f882bf18c9118b1e273813
SHA256: 332b968614ef48ec5065f78029ae3356e24986841ef7c0d0a74e6d851ea4f5b6

Size: 57,325,520 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: e618cd8269f9aaf1ee94a18c32f3d04e80449148
SHA256: d5c006306e238f40c37c5e483c51fd56a2553d5d66d5fdf43e07df74dbd4b7e9

Size: 20,350,520 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 33aed652e41fa48e6651d708ac9ad98e5abd3354
SHA256: 223568ddec1c22cc5bcab804f900b457a241b1b41e1c612c34a0ba4c74fe63a7

Size: 5,381,424 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: a2cba34cf2d9b1acedc3708e2938c14e72161430
SHA256: 01d82da27385a718f87d1dbf49e309afcffa975d051155358c2659974e57dc51

Size: 14,381,152 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 695eb1eee4f24a2dbffddaf7ce63e665c821b75c
Size: 478,456 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 683afc7a2139f711a8255bfa5e93ec5ffa0e2555
Size: 3,170,304 bytes

Submissions

xdqiqimv
Submitted
Mon, 20 May 2019 03:20:44 +0000
Signed by
0xEB4D5BE69457859B ff2a-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"