why3 (1.3.1-3)_1.3.1-3+b1_armel.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Thu, 20 Aug 2020 09:17:57 +0000
Build-Path
/build/why3-NYguLh/why3-1.3.1

First submitted
Thu, 20 Aug 2020 12:22:12 +0000
SHA1 of .buildinfo
bc3f26f3d73dfe14679bc332d4297eafad5709fb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b1_armel.deb)
SHA1: 06e70d0de9dcbe7ec379f8c4196236b5975103d2
SHA256: be78a2067c7d41da220233a6b9a6459d035770312513d901de7be7c2b963cd40

Size: 4,577,972 bytes
why3 (why3_1.3.1-3+b1_armel.deb)
SHA1: c08627715ae269f7a7976f77ad61a9e233cfbc73
SHA256: 8265800cef9f35ade7a6c708a11767cccb4d6532a7ce6517fbab8a48111815c6

Size: 71,266,684 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b1_armel.deb)
SHA1: d32288ad46f7fb908deeef6bf6831b5b13875a33
SHA256: c8fdc5c353d831b9517a962bfd4b4db31b97c97e371049cf1573ff329808e7e2

Size: 95,380 bytes

Other checksums

Submissions

rbhb7oh7
Submitted
Thu, 20 Aug 2020 12:22:12 +0000
Signed by
0xFF62288F5B1177CE

Environment


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