coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 31 Jul 2018 18:47:08 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 31 Jul 2018 21:57:31 +0000
SHA1 of .buildinfo
631d6f4a0bba3381218bb7dc54cce1bbfab91f37

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: b9a60323a691847f42d2aa70e8f4c9c7e9fc9c7a
SHA256: 32900249b3e80b37c504fc7d818294de12b3cb117f81c4d8543bf48e14fb7da6

Size: 17,034,252 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 037ae19e8817ed416b6db616dea179dab8ef6150
SHA256: 7b50ed883ff7940c3c0952a01c0a3ce1ccb35051254f4f10fd3c8f422a8133ed

Size: 1,500,336 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 05b12f369c8e8053e707da229e87236f6b9935c8
SHA256: 468ce0211248025742db45b7351151a2f5f6428a7c6020814151ebf429e35fa9

Size: 22,891,296 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 6d78361437090bdf31627c28fda8433e3f910638
SHA256: dda00c14a03ccf428896d807b57d27112e0076e052a17395f91397b1561aeb41

Size: 3,573,212 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 3cbd2c0ab7c38b0abe3bfea6389598cea9a8d218
SHA256: 04f7900776645067164f88dc140af810667f2629ad19c503441791ec5fc2d2f6

Size: 14,375,220 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: bd074b46ca1ec8091ffd1cf266d50d9ed63511bd
Size: 104,412 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 75b28a44c63e48079db74039d5727d00449af4d9
Size: 332,880 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: d5af1f735264f2c9b0d438757e40fcef1fc92a2d
Size: 442,808 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: d60c40cf26273c4c2b6bd6411b26eaaeadb45f5a
Size: 1,706,052 bytes

Submissions

cx7n9kjp
Submitted
Tue, 31 Jul 2018 21:57:32 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"