why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 10 Apr 2020 08:12:59 +0000
Build-Path
/build/why3-1.3.1

First submitted
Fri, 10 Apr 2020 08:13:56 +0000
SHA1 of .buildinfo
8b0d5945e4d6be799c463c5b1bfba86e15a5f8e6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_amd64.deb)
SHA1: b3ec66b66cfb3cca69763b83a0973898a5551fc0
SHA256: 7ff28623382cfff67156e36c03b6003aaeea5b1d1d16f80cbcaa8e11192d08c5

Size: 8,707,400 bytes
why3 (why3_1.3.1-2_amd64.deb)
SHA1: d7ef6c9174c0d067c211775ba7527acb57442556
SHA256: b5e5938ecb935647a8b560acc296d36b7818c58bea5c4809b8979e8f2b89cc2c

Size: 34,061,068 bytes
why3-coq (why3-coq_1.3.1-2_amd64.deb)
SHA1: a9b270bedbcaa14964d4b1f10e0157b368795892
SHA256: 11bfd0bbe5b1fffd03d043cbb5d871572d10ac7fcdc42cd646fc12427a735bcc

Size: 799,268 bytes
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: dceabd954fbbaeed7f87fc93670f3ba62595f2c8
SHA256: 27e94ea2a7bae4591588e97d1cf3fe51b57785282a6c8eca0f41d2cbb4e00339

Size: 956,952 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: a3a784f50bb2acc4717b7f2ae6196d8f14f701d7
SHA256: b9b68555ca1e2e623b7d24561ad99caa385bd42bbe67517553424b662eb2b838

Size: 1,055,916 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_amd64.deb
SHA1: 2c722840325d47bd9f95a7b471dd0214fc8edb6e
Size: 7,964,604 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_amd64.deb
SHA1: 8b9b14db1c3dae5f35c65f706bc86682763e55b5
Size: 595,484 bytes

Submissions

ffpgtcwk
Submitted
Fri, 10 Apr 2020 08:13:57 +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="1586279499"