Source
why
Version
2.40-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 25 Aug 2018 02:59:33 +0000
Build-Path
/build/why-2.40/2nd

First submitted
Sat, 25 Aug 2018 03:03:40 +0000
SHA1 of .buildinfo
84cc0b1b527a0767eb734462608d6c03fceb97c3

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: 10c39b65d929d0c7c0cd2530998c9104c0104d18
SHA256: ee772b3c48d894890fd878e7d04894ad347cc1c1a148cdb820e67fce1ff26a49

Size: 51,488 bytes
why (why_2.40-3_armhf.deb)
SHA1: 36a915b3ca32534da612323d31565281de32a52c
SHA256: b8a295d116ba8461f8ff1356542862b4e2d4a463d87fe9b44bded386dbf86c71

Size: 3,238,448 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: c618b8aa73394dfa7a100df8039ac4f0bc4201e6
Size: 100,812 bytes

Submissions

Submitted
Sat, 25 Aug 2018 03:03:41 +0000
Signed by
0x2BBA298F216A5729 ff64a (Automatically generated key for signing .buildinfo files)

Environment


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