why_2.36-5_all.buildinfo (view)

Source
why
Version
2.36-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 27 Feb 2018 23:42:57 +0000
Build-Path
/build/why-2.36/2nd

First submitted
Wed, 25 Jan 2017 17:21:31 +0000
SHA1 of .buildinfo
268662948df598491f01e8b2f3dee590233a602f

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: 270e597906ec4709b34a8340e3208a111a1e6471
SHA256: c9a31cd140466cd148df4c356c54cf8c744f62f8e0d3fe8e6815255ae70d2c67

Size: 50,782 bytes
why (why_2.36-5_amd64.deb)
SHA1: 949f477da2937365e316a2fe5ebea161fb654b54
SHA256: 33def3d30de57340234adc299ab18e5d690960edf928848a40b67bd89eb371dd

Size: 1,495,656 bytes

Other checksums

Submissions

tnizguhx
Submitted
Wed, 25 Jan 2017 17:21:32 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482840798"