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

Source
why
Version
2.40-3
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Thu, 21 Jun 2018 07:53:19 +0000
Build-Path
/build/why-7mJZpM/why-2.40

First submitted
Fri, 26 Oct 2018 07:13:33 +0000
SHA1 of .buildinfo
a96c1af8c04365c58862b80cec4d8ce8d55d299f

Binaries

libwhy-coq ()
why (why_2.40-3_kfreebsd-i386.deb)
SHA1: 2a75e44d642da40f9f3efd441aa5a54fb50e3a5c
SHA256: 82ef47a6bd47d29fa19b434a00d7d7b4d851cf108d24ee20c7f581bc90a318a8

Size: 3,161,072 bytes

Other checksums

why-dbgsym_2.40-3_kfreebsd-i386.deb
SHA1: fd04a67e13397da73492a09f7d8ec3344cc2132e
Size: 99,260 bytes

Submissions

xtorffao
Submitted
Fri, 26 Oct 2018 07:13:34 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1526201719"