why3_1.0.0-1_i386.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 27 Jun 2018 21:53:48 +0000
Build-Path
/build/why3-VoGu1T/why3-1.0.0

First submitted
Fri, 26 Oct 2018 07:58:52 +0000
SHA1 of .buildinfo
b0646dc4eb459e9bb9b05edd2ab9866d3b3e91c2

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_i386.deb)
SHA1: f63b5b5e16244c04393385492994f14e29e53811
SHA256: 050f4a8f10ecdc7c445d91f1543eb1264b516bf14db35ff2301e8d209e761a27

Size: 3,488,536 bytes
why3 (why3_1.0.0-1_i386.deb)
SHA1: 3e539c08084cf497e4ee11d680bac3b9ecf005a1
SHA256: 9d1abea6bc2bd225d134e91cf27327655738e70e696f6f1e7eee814931d388db

Size: 17,350,224 bytes
why3-coq (why3-coq_1.0.0-1_i386.deb)
SHA1: 9ba4fd4dd3a34e4a6cf36610c9a942f7b21f3898
SHA256: 755f74d70a2f48120841cebd2857bda5571007c54b279ff0f0701acf84339d22

Size: 560,524 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_i386.deb
SHA1: 50ab6d07d863d7b025ed377eb62d68d701093b63
Size: 5,766,968 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_i386.deb
SHA1: 838964f25a2374448300c4a82c15919bad9a83c6
Size: 486,792 bytes

Submissions

ij7tjegs
Submitted
Fri, 26 Oct 2018 07:58:52 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


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