why_2.39-1_amd64.buildinfo (view)

Source
why
Version
2.39-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 6 Sep 2017 22:09:30 +0000
Build-Path
/build/why-Fbu8eW/why-2.39

First submitted
Sat, 27 Oct 2018 07:43:26 +0000
SHA1 of .buildinfo
319d3385829113a47afea314d662a96c755d1705

Binaries

libwhy-coq ()
why (why_2.39-1_amd64.deb)
SHA1: e9f37032e86885fc9ea24591c0345518d9acd4d6
SHA256: c2e340706c9c256e3228e895907f1ae02120283aaa3811445f2027b11e7fe3ac

Size: 3,143,334 bytes

Other checksums

why-dbgsym_2.39-1_amd64.deb
SHA1: f3c1be65103521d9b7d3fca1ecd59838f24aa900
Size: 82,680 bytes

Submissions

pabsesah
Submitted
Sat, 27 Oct 2018 07:43:26 +0000
Signed by
0x69616CDA9356D1F3

Environment


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