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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 26 Sep 2017 23:06:10 +0000
Build-Path
/build/why-deCrm6/why-2.39

First submitted
Sat, 27 Oct 2018 12:56:40 +0000
SHA1 of .buildinfo
d96440ea54c6bf234693a3abad53ee966695f132

Binaries

libwhy-coq ()
why (why_2.39-1+b1_arm64.deb)
SHA1: 3341368939eccaed0ea32234ac825973c765e19a
SHA256: 7af14e727df3da115a9e2f631e7bafc7ba480b222023615b94a5d17c1692ce9f

Size: 3,793,330 bytes

Other checksums

why-dbgsym_2.39-1+b1_arm64.deb
SHA1: 38ea9cdfd7d33b2e453d2de6ab5f1f44e489e30d
Size: 139,246 bytes

Submissions

ubhapwsy
Submitted
Sat, 27 Oct 2018 12:56:41 +0000
Signed by
0xAE5F1194F1476982

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1506467080"