why_2.39-2_armhf.buildinfo (view)

Source
why
Version
2.39-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 13 Oct 2017 16:39:52 +0000
Build-Path
/build/why-mXHUoy/why-2.39

First submitted
Fri, 26 Oct 2018 10:15:36 +0000
SHA1 of .buildinfo
b115cdc35373503b6113b66f152923ca1f0e21c1

Binaries

libwhy-coq ()
why (why_2.39-2_armhf.deb)
SHA1: 8ea9a7481840ee8372ffad1cc9f0ef88b5474838
SHA256: 3d0b108b31f9719a16f4e59930fad895b1d1a02ee58ccb28457f4c202e43d766

Size: 3,304,466 bytes

Other checksums

why-dbgsym_2.39-2_armhf.deb
SHA1: 40dec9597c833b5e0e751c4c4f5c60a60a2b5a9d
Size: 101,408 bytes

Submissions

fnm3tkiw
Submitted
Fri, 26 Oct 2018 10:15:36 +0000
Signed by
0xDD29D28422356DC7

Environment


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