why (2.40-3)_2.40-3+b1_armhf.buildinfo (view)

Source
why (2.40-3)
Version
2.40-3+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 21 Nov 2018 16:36:08 +0000
Build-Path
/build/why-Sj0KXs/why-2.40

First submitted
Wed, 21 Nov 2018 18:14:47 +0000
SHA1 of .buildinfo
c013af60609f8150ed3a2380963f6d7ec4232950

Binaries

libwhy-coq ()
why (why_2.40-3+b1_armhf.deb)
SHA1: ec01fed9df5820928f245214aa6a917cb701ad23
SHA256: 4b092c21acc9140c7d6e88c98edfcdf701cae62282d3f19ef99eb4d52ea6a791

Size: 3,239,508 bytes

Other checksums

why-dbgsym_2.40-3+b1_armhf.deb
SHA1: c2c3cb2ab8868c62eedf79d9875c936ba9a8aae0
Size: 101,044 bytes

Submissions

wwykwifz
Submitted
Wed, 21 Nov 2018 18:14:48 +0000
Signed by
0xADD59F9A4683EC2D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1542817983"