why_2.36-5_all.buildinfo (view)

Source
why
Version
2.36-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 9 Mar 2018 09:27:23 +0000
Build-Path
/build/why-2.36/2nd

First submitted
Sat, 4 Feb 2017 03:20:00 +0000
SHA1 of .buildinfo
d3a054bc340da382305a519fe57f15217ef41521

Binaries

libwhy-coq (libwhy-coq_2.36-5_all.deb)
SHA1: f8c9e0e0ada4ee82128bc295c66a8463b3a69b60
SHA256: 4516a99ef379569f1d55c5c43e8fd2e7b62532278d32faba4710a3f9eb889c22

Size: 50,794 bytes
why (why_2.36-5_arm64.deb)
SHA1: 1bffff10041ab04058346e3b94e073a10c9470e7
SHA256: cc4c143d86c630b74121126baa2ceb3d01eccf81b5c69665234f3f9b9427f7bc

Size: 1,498,382 bytes

Other checksums

Submissions

ph7qhgbw
Submitted
Sat, 4 Feb 2017 03:20:23 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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