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

Source
why3 (1.3.3-1)
Version
1.3.3-1+b2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 29 Nov 2020 09:40:29 +0000
Build-Path
/build/why3-V8xNvC/why3-1.3.3

First submitted
Fri, 4 Dec 2020 04:14:01 +0000
SHA1 of .buildinfo
dc4b7f80d0a9699b0bf5c39be21f017c2f42cf73

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b2_armel.deb)
SHA1: e4c7d5156f5adc0488a98831c0d04e60fa4c865f
SHA256: 105d2037af9781318b8c49ab4c6eab05bc3671eed7435efdd5d2d01d3cbcb84f

Size: 5,394,688 bytes
why3 (why3_1.3.3-1+b2_armel.deb)
SHA1: 31c8fe57334e44e2d9e1d3902b234131252deb11
SHA256: 854f49ccf71e5aad3c94e6e556bcf4b4d4f94109f4d40fbbb0bd3d01093a769d

Size: 86,823,984 bytes
why3-coq (why3-coq_1.3.3-1+b2_armel.deb)
SHA1: 690dd4eae77da4b006cfc2b6c2987bfa1911a90d
SHA256: 3b3f91e456b915cced9f28263dc49b8ba7912111a7c67439612d50bf805a6809

Size: 756,820 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b2_armel.deb)
SHA1: bc733e25421942f76b872979b2a51296a6e97a96
SHA256: 4a718a7e317324a39bbdce62ce87c418443edcb222d2d4f76a9b1b5256ff068d

Size: 96,076 bytes

Other checksums

Submissions

7gik34ax
Submitted
Fri, 4 Dec 2020 04:14:01 +0000
Signed by
0xD17312624A4D5F6A

Environment


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