Source
why
Version
2.40-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 10 Dec 2018 07:00:33 +0000
Build-Path
/build/1st/why-2.40

First submitted
Mon, 10 Dec 2018 07:11:17 +0000
SHA1 of .buildinfo
ba1ea2b2a7b2d39208ee068539c458517e53f44a

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: b890678086f44c23f558b6763a50862e46ca2018
SHA256: e055cdaf0c5ca5432e0484756b267017cc076ef4280bc42bba4c62f2a25f4fed

Size: 3,245,360 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: 1a585cec762bb1480a64db68bd601c5c3db0a3f1
Size: 100,248 bytes

Submissions

Submitted
Mon, 10 Dec 2018 07:11:20 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


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