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

Source
why3 (1.3.1-3)
Version
1.3.1-3+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 23 Aug 2020 05:58:16 +0000
Build-Path
/build/why3-8GZObV/why3-1.3.1

First submitted
Sun, 23 Aug 2020 12:11:10 +0000
SHA1 of .buildinfo
7727860c8c85fa6bda9ea48c083dc354c03cd724

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_armhf.deb)
SHA1: 73e9b5d63f3bcebb25e16ebf35658a4e91e56a5a
SHA256: b41cd1cb57a677fddf671ae67845b9366a9c10d7e3be47154034b7740e8feea2

Size: 8,734,044 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b2_armhf.deb)
SHA1: 955b25f4db6d3b816db407f102c439897a4fceec
SHA256: d0416414b71f02954550d052ce2d5e8b34f6b5a5a7e79ce0e21958d5dd2877fa

Size: 510,480 bytes
why3 (why3_1.3.1-3+b2_armhf.deb)
SHA1: 614f3ee83f269a490a15f91845503284a54551be
SHA256: 6f6a951f6a6ba7107a46ef856b806ea23b30933edbc0ab2bc16877ef6552d9a1

Size: 20,859,956 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_armhf.deb)
SHA1: 7209c0b80d06b0bd2bb885bead26b5913d03aaf9
SHA256: 955b6b47e57313fbcd6729fb5c86a760e86799ea9182e678168fa8339ee3a970

Size: 6,526,080 bytes

Other checksums

Submissions

hawxd39x
Submitted
Sun, 23 Aug 2020 12:11:10 +0000
Signed by
0x9DB0FDAACD97FDFC

Environment


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