why3_1.1.1-1_all.buildinfo (view)

Source
why3
Version
1.1.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 24 Jan 2020 04:21:41 +0000
Build-Path
/build/1st/why3-1.1.1

First submitted
Sat, 22 Dec 2018 00:14:52 +0000
SHA1 of .buildinfo
dddf2eb34f59de4758db89840c3075b59dffc949

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_i386.deb)
SHA1: 030ae8e2b281a29331b89c3584d97bcaea5d9af9
SHA256: cb9ff3cdd8faf55870654a00577262b666a23ad19b70f5b1096a47067de8aee4

Size: 3,521,828 bytes
why3 (why3_1.1.1-1_i386.deb)
SHA1: 3601feaf8785fd94daf4d6c92d0c54366b2d2dcf
SHA256: d5fd7ec8d03da0c57ea3cc6b574233212fc3244648617b55b3a66ed7461c3e53

Size: 14,693,580 bytes
why3-coq (why3-coq_1.1.1-1_i386.deb)
SHA1: ccd6cd5ab44f5fc4de2caf5f61ee0eb1b1e7d39f
SHA256: 4191c699619fa15e000090e447e44894de124e72461f174fc01e0e3b4f83ba02

Size: 587,536 bytes
why3-doc-html (why3-doc-html_1.1.1-1_all.deb)
SHA1: ef99c17ea02815b96ce7db30c56f94b0fcae27d1
SHA256: 7fabaf10780412d70725bbdf457851e3657a6ba9e1355cd5aad9a5b63ec99998

Size: 355,532 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-1_all.deb)
SHA1: 9dc5945e46f168638ff844ae06b10d1e4bf62e6f
SHA256: f90fb1a77e13c5163ad90023923f580c63cbd213dd23c15bdc3d24cac75775e2

Size: 1,149,560 bytes
why3-examples (why3-examples_1.1.1-1_all.deb)
SHA1: 9b087263beb927e826f9461526790945c468dc8e
SHA256: 7e830fb6f85e023f10180903e408081fb787f0293ef1c57481f7e890122a5914

Size: 2,775,128 bytes

Other checksums

why3-dbgsym_1.1.1-1_i386.deb
SHA1: ecbe46296b074f6878cc8f5a0e1ba8647580dde2
Size: 5,172,760 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-1_i386.deb
SHA1: 82d532475af6916d20cedb9d24452a7f6f32ad51
Size: 491,320 bytes

Submissions

gai7c3pm
Submitted
Sat, 22 Dec 2018 00:14:52 +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="1545105038"