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

Source
why3 (1.3.3-1)
Version
1.3.3-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 14 Oct 2020 05:22:50 +0000
Build-Path
/build/why3-PS5Smg/why3-1.3.3

First submitted
Wed, 14 Oct 2020 06:42:21 +0000
SHA1 of .buildinfo
d7376b9055af353d15cfc0490b4e3280c74a4d75

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b1_armhf.deb)
SHA1: ab0fcad311a0221bbc06dc1f2272dd08a453b2c4
SHA256: 7a13b4c97520c09cfe0d51cd2769911d16e49d051e42e2f250da0a66a6fbbb18

Size: 9,595,056 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b1_armhf.deb)
SHA1: d53e9f62850a524e7d1bcb4a9e09c4bea1934926
SHA256: e2c77c229f35e9d613dd311762ff6503a5694ee58630aad80aca792b904bbbef

Size: 494,900 bytes
why3 (why3_1.3.3-1+b1_armhf.deb)
SHA1: 0a0565f414b4a93dcd852e6674f16c189d6ff172
SHA256: 1fb14ea74f312e89796b59848b01cd4813ebc33ea4d938358ab1becf73ab13ed

Size: 36,699,148 bytes
why3-coq (why3-coq_1.3.3-1+b1_armhf.deb)
SHA1: 4484b5f7d0773a5e4fd792b3098d8e71014075e9
SHA256: ef423ce24af15083ae895c64edde075ffdc5c3f445cdd979a6e05b857066cda1

Size: 757,000 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b1_armhf.deb)
SHA1: 7c6b2d14d8a206bd96a1edc7f01e674c4465696e
SHA256: d299d08a090a705e41de0769f144b3c231e9ea63df97a5025f44e8c196151e86

Size: 7,212,244 bytes

Other checksums

Submissions

qeoaivry
Submitted
Wed, 14 Oct 2020 06:42:21 +0000
Signed by
0x9DB0FDAACD97FDFC

Environment


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