why (2.39-1)_2.39-1+b1_armhf.buildinfo (view)

Source
why (2.39-1)
Version
2.39-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 26 Sep 2017 23:54:51 +0000
Build-Path
/build/why-PQlmE9/why-2.39

First submitted
Sat, 27 Oct 2018 12:57:34 +0000
SHA1 of .buildinfo
440be2e89bfff7eae2bd6a39d6b977732898937f

Binaries

libwhy-coq ()
why (why_2.39-1+b1_armhf.deb)
SHA1: b22c43de4591fe69ef9b8debf8ef973d3e5db08c
SHA256: e32f2ae127f869a4f74b514d891161628720188d7088a31c873fe3b9fe6b7558

Size: 3,593,516 bytes

Other checksums

why-dbgsym_2.39-1+b1_armhf.deb
SHA1: 77d4967646ee9c023ed7faaf948740ddf9299670
Size: 103,012 bytes

Submissions

kno4qwpf
Submitted
Sat, 27 Oct 2018 12:57:34 +0000
Signed by
0x551BD4651D0FCC80

Environment


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