why_2.39-1_armhf.buildinfo (view)

Source
why
Version
2.39-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 6 Sep 2017 23:42:45 +0000
Build-Path
/build/why-GSY3eE/why-2.39

First submitted
Sat, 27 Oct 2018 07:44:44 +0000
SHA1 of .buildinfo
829b2daf7a8d477be370ef02debdc220c3148e9d

Binaries

libwhy-coq ()
why (why_2.39-1_armhf.deb)
SHA1: 140f599ecc1c04946077527c8723e516d046033f
SHA256: df7a85192a7334839a9ea5f45a6abc7582c360911de0b4c57278221a196f00bd

Size: 3,295,356 bytes

Other checksums

why-dbgsym_2.39-1_armhf.deb
SHA1: 734f94917c3f264df38c02bf9b6fe43932bda620
Size: 89,766 bytes

Submissions

de9baqhx
Submitted
Sat, 27 Oct 2018 07:44:44 +0000
Signed by
0x300D3289810735B9

Environment


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