Source
why
Version
2.40-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 12 May 2018 13:39:02 +0000
Build-Path
/build/why-G8tBAz/why-2.40

First submitted
Fri, 26 Oct 2018 12:32:21 +0000
SHA1 of .buildinfo
bcdfdaff53ac9713e8b2a66f6129eb62720c0200

Binaries

libwhy-coq (libwhy-coq_2.40-2_all.deb)
SHA1: 8e8c9a7d3fedd52b9cab6d2bb0fd2f7d3fe19ff7
SHA256: b57523898c0bcc2781a8c786d0d8245c5bd4b753d0c8e39345ec0e93e122938d

Size: 51,720 bytes
why ()

Other checksums

Submissions

Submitted
Fri, 26 Oct 2018 12:32:21 +0000
Signed by
0x77A935AC72C39EAB

Environment


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