Source
why
Version
2.39-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 6 Sep 2017 22:05:12 +0000
Build-Path
/build/why-caA8eP/why-2.39

First submitted
Sat, 27 Oct 2018 07:43:19 +0000
SHA1 of .buildinfo
18a1f22b4fedc36b4ccb4a91066acefea9c8005e

Binaries

libwhy-coq (libwhy-coq_2.39-1_all.deb)
SHA1: 30add2b31fc5738540716d0b3b60383b17bb498d
SHA256: acd6ae5bebe3e89cb8355d7ef0fd4ca1f2a2f97484de0265cb2dcbefa75dc705

Size: 51,202 bytes
why ()

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 07:43:19 +0000
Signed by
0x77A935AC72C39EAB

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1504726498"