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

Source
why3 (1.1.1-4)
Version
1.1.1-4+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 8 Feb 2019 12:53:45 +0000
Build-Path
/build/why3-TBxq4d/why3-1.1.1

First submitted
Fri, 8 Feb 2019 18:10:49 +0000
SHA1 of .buildinfo
86fc61fceb50be7343dfe12de885a86869cf2a8d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4+b1_armhf.deb)
SHA1: dff46d08dcaf3007b56ddb268855db1f1fba1000
SHA256: dd72b16baf5c00d9ad1982fd5c6b5652f24da51c72f305f32d2ddcc16aeafdc1

Size: 3,907,572 bytes
why3 (why3_1.1.1-4+b1_armhf.deb)
SHA1: 9b028a45a1e5c3a33e925cd3bbe64b0a229c2a6b
SHA256: 7f4ccd8b0671b04a534874fb95349a7dc14e11167d715e2dd225bd1f3d07e523

Size: 13,247,280 bytes
why3-coq (why3-coq_1.1.1-4+b1_armhf.deb)
SHA1: 5ca9dcc3e3ac06855549967e92c8580c646ad3bd
SHA256: 31de64d3176f9d5ec55916b40897cf31304985d405c011850a94c17ec282b718

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

Other checksums

why3-dbgsym_1.1.1-4+b1_armhf.deb
SHA1: 9cd6e3c80001bbb37fadc6fdcd4040e629810069
Size: 4,556,992 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4+b1_armhf.deb
SHA1: 84511eccf7988425e2847d924cd8a5b011b9df88
Size: 444,304 bytes

Submissions

v9tfgzum
Submitted
Fri, 8 Feb 2019 18:10:49 +0000
Signed by
0x2F7FE489BACF2560

Environment


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