Source
why3
Version
1.3.3-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 29 Mar 2021 22:27:34 +0000
Build-Path
/build/2/why3-1.3.3/2nd

First submitted
Mon, 29 Mar 2021 22:28:32 +0000
SHA1 of .buildinfo
34fb844feca62065c0977db629daa0d8f9234519

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1_amd64.deb)
SHA1: 37fb293df45e67467183340396b4446a29cd4500
SHA256: 3f1b0ab998682ac7555ae4f8ccd1af78964dab270564469287bad9c3cf66ba5b

Size: 9,628,508 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1_amd64.deb)
SHA1: aac7bfbe99e6dcbb82d539f85d14817abaa4827d
SHA256: 84ea2e846058aa8b8950074c02d5ea36921afa5f49d3eae83482ef6eba5fe02d

Size: 585,764 bytes
why3 (why3_1.3.3-1_amd64.deb)
SHA1: 9afc964f36487a6de9868e7cd1f630bdda99d96b
SHA256: 2db98478b62bc7474975cefebfac456a29d32333354fd4a0e84a132e3962cd10

Size: 39,508,576 bytes
why3-coq (why3-coq_1.3.3-1_amd64.deb)
SHA1: c8cc456fb0528748aaf68ce2623d358811f618b8
SHA256: ba1281b099434f8109e315619c4010a7421b9707abc1829b5a2e4103771b8529

Size: 756,584 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1_amd64.deb)
SHA1: 4f7e83d295fec7f07eb19208fa29f44071f546a0
SHA256: 2cffc5e281cb555c085a89e612a1cc5e9b38a9ada53a6b47a51eeddb64c1ed2d

Size: 9,945,664 bytes
why3-doc-html (why3-doc-html_1.3.3-1_all.deb)
SHA1: db8a502d9a2b1fe2740e200bf7fa2274a86f95be
SHA256: b9e50ded05c9a2353a39d0372eeb0dc66b9af9b63ef1909db8047f5fbc7bb21a

Size: 960,356 bytes
why3-doc-pdf (why3-doc-pdf_1.3.3-1_all.deb)
SHA1: fe9956281068cbb5bc9b19432a23824cc651f15d
SHA256: 6d23197937851fb076a7a4c04abdc0b8209a7495154162aeed3756f132bbb3d8

Size: 1,057,140 bytes
why3-examples (why3-examples_1.3.3-1_all.deb)
SHA1: dab3e1c2839b0820e45db20d140a7c6d7f376e18
SHA256: 0f35aa2af55e7e6d8c0532ce9afcbfe83e13ada18c5a711e56a4313b461a476f

Size: 3,493,616 bytes

Other checksums

Submissions

Submitted
Mon, 29 Mar 2021 22:28:33 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600888995"