Source
why
Version
2.36-2
Architecture
all armhf

Build-Origin
Build-Architecture
armhf
Build-Date
Build-Path
/build/1st/why-2.36

First submitted
Wed, 9 Nov 2016 07:50:00 +0000
SHA1 of .buildinfo
068f1af61e714f95aad62a4911456c9894c53a1b

Binaries

libwhy-coq (libwhy-coq_2.36-2_all.deb)
SHA1: ab545dc7c40f129260109a5e74f91229751142c5
SHA256: b1303684a7381b3764ea2f9cd519dc3ef867eae7f597250da3b9a22fe5c6c41a

Size: 49,508 bytes
why (why_2.36-2_armhf.deb)
SHA1: d96af32b3ce801b1b1ba712dc9b635f7da3704ae
SHA256: ef653b2bfa5a028fabf64a0fc718600f32f8749ac490459f4f1f0c3281018a82

Size: 3,547,332 bytes

Other checksums

why-dbgsym_2.36-2_armhf.deb
SHA1: cbb804ad1f0b4d5a55cdfe4a3a0afafc462c72f1
Size: 95,456 bytes

Submissions

Submitted
Wed, 9 Nov 2016 07:50:00 +0000
Signed by
0x684E31FF38B7D0B7 jtk1a (Automatically generated key for signing .buildinfo files)

Environment