why_2.36-5_all.buildinfo (view)

Source
why
Version
2.36-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 2 May 2018 23:22:43 +0000
Build-Path
/build/why-2.36/2nd

First submitted
Thu, 30 Mar 2017 17:00:39 +0000
SHA1 of .buildinfo
7cc7328959b2d689189dd2472fe67eb9eb8900c6

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: 6c74a0e4c39a599cc6dc51e43e682ae8883d406d
SHA256: 183a885646a005c5dc970640b2fd61efae95a5ab7e56bf9e4aef1c7c8da18892

Size: 1,496,228 bytes

Other checksums

Submissions

spjipt4f
Submitted
Thu, 30 Mar 2017 17:00:39 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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