why3 (1.1.1-4)_1.1.1-4+b1_kfreebsd-i386.buildinfo (view)

Source
why3 (1.1.1-4)
Version
1.1.1-4+b1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Mon, 11 Feb 2019 12:42:24 +0000
Build-Path
/build/why3-wTPCBO/why3-1.1.1

First submitted
Wed, 13 Feb 2019 06:13:59 +0000
SHA1 of .buildinfo
289a9a18ebbab0dc2fc8e89a4c558d34d37606fd

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4+b1_kfreebsd-i386.deb)
SHA1: b18b8a8a0cc16275eb3fd117b8cd8f171950856e
SHA256: 1637fde37e380fae20202b2f1808d0ec171183e7f98aaf685b040667d4b3efaf

Size: 3,521,256 bytes
why3 (why3_1.1.1-4+b1_kfreebsd-i386.deb)
SHA1: e34546e594e03644617d0b71fd1061a3142e382b
SHA256: 2cf7f8a2e8b13cc361701f0c536b94e342ae4142a0bf70e6b0df3bf4936aa6bd

Size: 14,746,280 bytes
why3-coq (why3-coq_1.1.1-4+b1_kfreebsd-i386.deb)
SHA1: 8389cdc0ab8b84e94a1924f4a0ec2af8b4c49a18
SHA256: fa080929449c7a11317f15a7b886714638146b1cca04ce5916eed9fb7b124437

Size: 588,460 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-4+b1_kfreebsd-i386.deb
SHA1: b84d972b2d804cee10d2ce7b95afb76bd7e2dbf5
Size: 5,104,084 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4+b1_kfreebsd-i386.deb
SHA1: f52c2fcd2a616975c346ab34571d6e7800c3666c
Size: 489,584 bytes

Submissions

fvxuwsea
Submitted
Wed, 13 Feb 2019 06:13:59 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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