why_2.40-2_armhf.buildinfo (view)

Source
why
Version
2.40-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 12 May 2018 18:55:18 +0000
Build-Path
/build/why-EsRgST/why-2.40

First submitted
Fri, 26 Oct 2018 12:34:13 +0000
SHA1 of .buildinfo
5481de5deb817328953c344d4522db49d18751a2

Binaries

libwhy-coq ()
why (why_2.40-2_armhf.deb)
SHA1: 015dea09bc7a5519ef1f156929ce2b8d7b23fc07
SHA256: d304c56538dff2d9ee98e2fee787332f7d2d13f49255c4da545cfcec2faabc27

Size: 3,240,300 bytes

Other checksums

why-dbgsym_2.40-2_armhf.deb
SHA1: ddcb5644fbb4daae01a14d9bf23227fd38cbd184
Size: 100,780 bytes

Submissions

k9nkedbj
Submitted
Fri, 26 Oct 2018 12:34:13 +0000
Signed by
0xADD59F9A4683EC2D

Environment


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