why_2.40-4_kfreebsd-i386.buildinfo (view)

Source
why
Version
2.40-4
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Fri, 22 Feb 2019 23:52:50 +0000
Build-Path
/build/why-leBLcH/why-2.40

First submitted
Sun, 24 Feb 2019 02:55:12 +0000
SHA1 of .buildinfo
dc072ef929a6151c3c5395dca72dd23e330e07bb

Binaries

libwhy-coq ()
why (why_2.40-4_kfreebsd-i386.deb)
SHA1: 45edce798b5f263d244bbd57790c98c398f9794f
SHA256: b23e7bd6d9a19457832d8350e2971e483b2441544caa60ece9b972efc84dd793

Size: 3,169,652 bytes

Other checksums

why-dbgsym_2.40-4_kfreebsd-i386.deb
SHA1: 4df7c36f0c1bca04a1b247a1fed60c094235199c
Size: 99,540 bytes

Submissions

ehabuvsv
Submitted
Sun, 24 Feb 2019 02:55:13 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1550876695"