why3 (1.2.0-1)_1.2.0-1+b5_i386.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 21 Aug 2019 12:45:36 +0000
Build-Path
/build/why3-8qLW11/why3-1.2.0

First submitted
Wed, 21 Aug 2019 18:33:19 +0000
SHA1 of .buildinfo
b86952045b333b97658a58e7e0b21f56251613db

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b5_i386.deb)
SHA1: 4869c2e8320db5ef2ddfe9f184b3fd8f0ec2d212
SHA256: e10622ed0238bc4034f791ddf1f4646fdcc46fa26034ecdceba54880956f8077

Size: 7,512,076 bytes
why3 (why3_1.2.0-1+b5_i386.deb)
SHA1: 96d31d464718688f9bf6feb3a9621331fba6b446
SHA256: 027232378b666491d64bd32886d7f8b67ca9f460958b70688b7355238fb96f35

Size: 17,583,744 bytes
why3-coq (why3-coq_1.2.0-1+b5_i386.deb)
SHA1: d4fe8e2b02b902d43c978646bc3b22da28c5bfcc
SHA256: b78eb7b83f77dfe3985d6dc725a6b835f77dfa780e68284e49b17f74a617af87

Size: 601,996 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b5_i386.deb
SHA1: f44e68473ec16e04610e9fad186da35967cba654
Size: 5,217,904 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1+b5_i386.deb
SHA1: cba57b6c7c31e75d4fa4a486dfae3ef98249629a
Size: 498,688 bytes

Submissions

je4sqgnz
Submitted
Wed, 21 Aug 2019 18:33:19 +0000
Signed by
0xD4D51947CB93A7C6

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566391308"