why3 (1.3.3-1)_1.3.3-1+b3_mipsel.buildinfo (view)

Source
why3 (1.3.3-1)
Version
1.3.3-1+b3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 6 Dec 2020 16:44:46 +0000
Build-Path
/build/why3-0xliJN/why3-1.3.3

First submitted
Sun, 6 Dec 2020 18:22:53 +0000
SHA1 of .buildinfo
094ea0227d8a2cf94cb2d6c52b6748bce49b1759

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b3_mipsel.deb)
SHA1: e7b9cfe560595b6db6e39c334ce7312934ea78dc
SHA256: 3a6c35847e0cad6f3df351ca63333e858c846bda4711d9b4ac86130c1fc809d7

Size: 5,394,748 bytes
why3 (why3_1.3.3-1+b3_mipsel.deb)
SHA1: 224466917c01f36c68e99cc17b63864850c8445c
SHA256: a866e0e0feb9bf4686bcb729189233ae782d58366b45dcd83b2bbe0083fb69a7

Size: 86,977,456 bytes
why3-coq (why3-coq_1.3.3-1+b3_mipsel.deb)
SHA1: 8dc73a85c9677681c49f5eaed06ad9bf0b61fd93
SHA256: 23f081d48888707f0fc5b3549087528decaa722bce188c2c17d1d8700849852b

Size: 756,796 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b3_mipsel.deb)
SHA1: 70def628dc48de9d400041186f751bf01517f5db
SHA256: d033ca9317d61b8a35ec1de8fd5c112c9133893b8b83760a6aef169c01d1a94c

Size: 99,492 bytes

Other checksums

Submissions

zkp3jvkz
Submitted
Sun, 6 Dec 2020 18:22:53 +0000
Signed by
0x8E885972C3744EDC

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1607270541"