why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 7 Mar 2021 01:27:13 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Sun, 2 Feb 2020 20:10:51 +0000
SHA1 of .buildinfo
e0bdcb2dfe0482e198abfbef6c9fdb99438ecb2a

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_amd64.deb)
SHA1: 17a74332c66c48f5e7438ce65e5cb3ccf75014a8
SHA256: 40d69701cbf21b7e0fdfdb1c06781e27e3ec3aed15731329174f0ce4b7124b87

Size: 7,959,628 bytes
why3 (why3_1.2.1-2_amd64.deb)
SHA1: 96bb3118a4599d2688d9a533d37ef672e06510ed
SHA256: 508701848e9bc86ea3d2c072817c4d04fe4bd8a750f242d9907e663c3a9c1ae0

Size: 30,793,080 bytes
why3-coq (why3-coq_1.2.1-2_amd64.deb)
SHA1: d43db3bf928eacc54577a13b5afe9076818488ff
SHA256: f2dd85edd8920fa6d17d71e1ef09bb8038e250814d5bd2e19a0e04dfb84a83f4

Size: 596,440 bytes
why3-doc-html (why3-doc-html_1.2.1-2_all.deb)
SHA1: 8071db2c480056e36bd6507fcd0b988763f26ccb
SHA256: f3208b4750a4a74f6b859da9b89ac0aa223a355fb75af4ae33830bee860db877

Size: 362,460 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-2_all.deb)
SHA1: 84e510b7a5225edf65ee0a8043ce736578b1adce
SHA256: 8d607f759f82a5056f23ce2e7e54ab5923200eab5845de7a8a61bc5f5fa621c3

Size: 1,274,412 bytes
why3-examples (why3-examples_1.2.1-2_all.deb)
SHA1: 60218af15bed2c897b66fd85125b699cd75fb848
SHA256: b0b48e78fd1827343fa7de58e0973326357317036d3fa9d894b87deac09d2ee5

Size: 2,473,816 bytes

Other checksums

why3-dbgsym_1.2.1-2_amd64.deb
SHA1: edab1afda2951f2ee2083816885fb3a6c18ad59e
Size: 6,739,976 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_amd64.deb
SHA1: c395b0b86bc3ac358a103f13f146e90b33d64d73
Size: 542,968 bytes

Submissions

mavoaqzx
Submitted
Sun, 2 Feb 2020 20:10:52 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1572814928"