Source
why
Version
2.36-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 19 Dec 2016 01:14:30 +0000
Build-Path
/build/1st/why-2.36

First submitted
Mon, 19 Dec 2016 01:23:02 +0000
SHA1 of .buildinfo
ebda154f0ce16d6c3021b921d8519bde7d4c2d9f

Binaries

libwhy-coq (libwhy-coq_2.36-3_all.deb)
SHA1: 7ec8b56a4a2cd63aa79c109a80b402cb2c9e4274
SHA256: 4a521d603a1c25761f9ecb8b6ed8b764916e7c5710751b902116471221eb41db

Size: 49,712 bytes
why (why_2.36-3_armhf.deb)
SHA1: 77097ccef158552ad1dcd9ab03cf55d220d01d9f
SHA256: 09aaf12533ce8e96a16027cf8e5c1ec310f9c9ac7bd83bc78022758752de4334

Size: 3,181,010 bytes

Other checksums

why-dbgsym_2.36-3_armhf.deb
SHA1: bf03f6b0ffb40fef235d8b8aeb312c28db73d022
Size: 95,414 bytes

Submissions

Submitted
Mon, 19 Dec 2016 01:23:03 +0000
Signed by
0xEB4D5BE69457859B ff2a-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482085336"