why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 14 Dec 2019 07:44:16 +0000
Build-Path
/build/1st/why3-1.1.0

First submitted
Sun, 11 Nov 2018 02:20:32 +0000
SHA1 of .buildinfo
70531c9b09707fb97e93867d049d61991617a23a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_i386.deb)
SHA1: 1dce33e7dab8c4f3618cc52ad9211ec2340578cf
SHA256: 9ded43b89b0a7dc5a26e98e1d3f315801f3c98ea491ea0fe0b138b3030b045ad

Size: 3,528,072 bytes
why3 (why3_1.1.0-1_i386.deb)
SHA1: e05e688640b9662fb5f27e7ed295e3605788b7fb
SHA256: cc75c78db15e232e44faf222ecacf4a0e3cd94ee372a69bc9927fd5fec60292a

Size: 14,752,264 bytes
why3-coq (why3-coq_1.1.0-1_i386.deb)
SHA1: 182915b3c35291a28d024cf959b30d2f1c2e8a42
SHA256: 8a0e35c6c9b11f16f58d05d9241bdb2086cdf7fee6e3f3b198abd0df896c5f8f

Size: 587,556 bytes
why3-doc-html (why3-doc-html_1.1.0-1_all.deb)
SHA1: c650dc9710cb3c437e9e6585e4195a7ca622a88b
SHA256: 4fe33339a739606fe0d9979e4cbc51065d9c2075da8ab46dd360db540625b2c9

Size: 355,480 bytes
why3-doc-pdf (why3-doc-pdf_1.1.0-1_all.deb)
SHA1: 101bc416f1fb382536835bcdc622b0ba9dc26573
SHA256: 789da24f8faa3d3843ab3fde01f1cd95ecc8c5abee3747a08ad0181f6ce7b3d5

Size: 1,149,856 bytes
why3-examples (why3-examples_1.1.0-1_all.deb)
SHA1: f32cb887cdaf4f858ad10a1cf7bde7ac2589296d
SHA256: 21028c6220b2ca37695a6cb31e061fb9b12deb8ed08a34c027dbb844eb05b585

Size: 2,775,072 bytes

Other checksums

why3-dbgsym_1.1.0-1_i386.deb
SHA1: 033a32fcdaad6a1e7bab5d9c31cf764aa55c427a
Size: 5,163,620 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_i386.deb
SHA1: c77d2866ee04a50a2092114c0ebb4f7bd9f23fc0
Size: 494,528 bytes

Submissions

izvtfpew
Submitted
Sun, 11 Nov 2018 02:20:34 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1541442236"