why3 (1.1.0-1)_1.1.0-1+b1_armhf.buildinfo (view)

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 19 Nov 2018 18:49:58 +0000
Build-Path
/build/why3-5jwKXe/why3-1.1.0

First submitted
Mon, 19 Nov 2018 20:01:00 +0000
SHA1 of .buildinfo
988ce052c36aebdbf29c86542d5c77608d1090c1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_armhf.deb)
SHA1: 6d6514fef91b4fb897fcc4a4fb290f936939c59b
SHA256: 8bb4c58f031fc61fd515f55a8917d406fecf925827b7417a42c5071daac63feb

Size: 3,918,828 bytes
why3 (why3_1.1.0-1+b1_armhf.deb)
SHA1: 7114c402e3541aca6aff3162fc2d1b7b82340e52
SHA256: 2ea5e0f6af4e01f4a76140c881d26c742a4056663aea13f7b786025ce15c7a28

Size: 13,311,144 bytes
why3-coq (why3-coq_1.1.0-1+b1_armhf.deb)
SHA1: e85c1dcdda7cf21a525be417213e6ac4896f3e91
SHA256: d60f76f7e7cee79382e36f16786d93df3cbc202389dd2f3f8c95e1e74c9f17bb

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

Other checksums

why3-dbgsym_1.1.0-1+b1_armhf.deb
SHA1: c32bbb69613daeb2b3b75d9048f4355993190d37
Size: 4,589,404 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_armhf.deb
SHA1: bf26c817e3c52713b96b43c7628ec30a479b7aad
Size: 447,144 bytes

Submissions

n73opavz
Submitted
Mon, 19 Nov 2018 20:01:00 +0000
Signed by
0xC0781E3B2657E942

Environment


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