why3_1.3.3-1_armhf.buildinfo (view)

Source
why3
Version
1.3.3-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 23 Sep 2020 20:58:45 +0000
Build-Path
/build/why3-z766uH/why3-1.3.3

First submitted
Thu, 24 Sep 2020 00:12:33 +0000
SHA1 of .buildinfo
ced39e54e82507e7151a77ecce2606a308959919

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1_armhf.deb)
SHA1: 626ee67d14074fedd9d0d7f25876e89a3a4c3b88
SHA256: c907ba48ea87f2f3f0201b1b5c86829a058150fb437400450f98cfa9d74a64aa

Size: 8,729,316 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1_armhf.deb)
SHA1: 00400b5624ddb5a52f7e4323cfcc03059c1a4b3d
SHA256: 36fb1466925a8e5399109e2450f7ac0806b73a3fc6db7855e116655610aa8223

Size: 510,944 bytes
why3 (why3_1.3.3-1_armhf.deb)
SHA1: 57b1286369fc68470d26ebb9d7484d795fc9e5dd
SHA256: edd8c63878826c8d5d2c37b27690f6beb138f4314d44d92264c88cd1ab47743c

Size: 20,906,396 bytes
why3-coq (why3-coq_1.3.3-1_armhf.deb)
SHA1: 4c5cceaa410ca8acca966d4e71617052a2c1780d
SHA256: 8e29b61ae96f1d57bd48965749852054feaa1c2ae031b54b905a887c4686c89e

Size: 756,476 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1_armhf.deb)
SHA1: 2bb3d2726ab0200755a6ca7e41dd5ed311df362a
SHA256: 043f811d6648af257954badb63a46d13183c7b075106bf13ef05ec7a01c99a28

Size: 6,600,392 bytes

Other checksums

Submissions

pwqfdzjs
Submitted
Thu, 24 Sep 2020 00:12:34 +0000
Signed by
0x9DB0FDAACD97FDFC

Environment


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