why_2.39-2_all.buildinfo (view)

Source
why
Version
2.39-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 5 Feb 2019 05:55:12 +0000
Build-Path
/build/why-2.39

First submitted
Tue, 2 Jan 2018 23:39:27 +0000
SHA1 of .buildinfo
7a53677870fe9b754067bc2681054abdd71b0f5b

Binaries

libwhy-coq (libwhy-coq_2.39-2_all.deb)
SHA1: 55e21a274709ef48508dcf18126156d5fb0e705b
SHA256: 3efc57ef9271c1876435492bf022f0a15b0ecd4d996f81c491219116a0920c1e

Size: 51,376 bytes
why (why_2.39-2_amd64.deb)
SHA1: 7fb567f8bd16559aa8aa421d3a1bff7712e1acbd
SHA256: 3b94ebe800bcc59d0f54989dcee5cd44955d59adc53ca904dbf5e726bafdaf12

Size: 3,483,648 bytes

Other checksums

why-dbgsym_2.39-2_amd64.deb
SHA1: 4519fbe015619cfb2d7d8baa16d81b7abdfca8a6
Size: 102,964 bytes

Submissions

44qngfai
Submitted
Tue, 2 Jan 2018 23:39:28 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507789552"