Source
why
Version
2.40-3
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 17 May 2018 23:28:56 +0000
Build-Path
/build/why-2.40

First submitted
Thu, 17 May 2018 23:58:27 +0000
SHA1 of .buildinfo
7c5e65099e14feda0cc33c778f1214f4ed076df9

Binaries

libwhy-coq (libwhy-coq_2.40-3_all.deb)
SHA1: aecd147a1985fd1bdbad5ad2c36c0e43134d8000
SHA256: 72e03fbe5c191f624590e0ca1544d4ed4013592828719da9f02ae10dd0523992

Size: 51,484 bytes
why (why_2.40-3_armhf.deb)
SHA1: 33ff5027a617ec8b2f79f97174d100cb91d9a55e
SHA256: b0f95e095eabd09c84a5865ed43df4a98c70b5ea86bb4561bd62d98582f67b28

Size: 3,233,332 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: 2d5d74f5c333ed7bac9b6615b84d2f2051f819df
Size: 100,992 bytes

Submissions

Submitted
Thu, 17 May 2018 23:58:28 +0000
Signed by
0x3B7B0B0B40A455E9 opi2a (Automatically generated key for signing .buildinfo files)

Environment


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