why_2.40-3_armhf.buildinfo (view)

Source
why
Version
2.40-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 13 May 2018 14:34:19 +0000
Build-Path
/build/why-9fkoNg/why-2.40

First submitted
Fri, 26 Oct 2018 12:41:57 +0000
SHA1 of .buildinfo
bc800590e11aebe9559a207c85430c8e4babfead

Binaries

libwhy-coq ()
why (why_2.40-3_armhf.deb)
SHA1: 1f9f29f8902386fbdc787e63d8ffb10d43a28dc6
SHA256: 6d3273c07c928542125e26f7ff46850aceac26b8dca5860a9f48511451af0095

Size: 3,236,304 bytes

Other checksums

why-dbgsym_2.40-3_armhf.deb
SHA1: be3a08ddaa03027f4da1fc96f62c27eda62e2892
Size: 101,140 bytes

Submissions

4abton7i
Submitted
Fri, 26 Oct 2018 12:41:57 +0000
Signed by
0xBA9B028E4BB7E93A

Environment


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