Source
frama-c
Version
20220511-manganese-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 28 Dec 2022 10:04:13 +0000
Build-Path
/build/frama-c-s5QGLO/frama-c-20220511-manganese

First submitted
Wed, 28 Dec 2022 12:15:11 +0000
SHA1 of .buildinfo
78d15876764037ae1dfd0409eaf5349c1bdf9047

Binaries

frama-c-base (frama-c-base_20220511-manganese-3_s390x.deb)
SHA1: d182ba898510285fd644199284f915b85eef6272
SHA256: f6089a33da1227c79300258d6b574b6205ebc6182ca2fb33d0b1aea75f26c0ab

Size: 63,898,028 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-3_s390x.deb)
SHA1: 744680317d1711ac3dfc478325517a41f0ca609f
SHA256: 8daa8d195cdc4aaf8cc0ec3b49bd40d5b1d0c7b313133cfb6604f2d24983d23b

Size: 3,363,492 bytes

Other checksums

Submissions

Submitted
Wed, 28 Dec 2022 12:15:11 +0000
Signed by
0x5E6C03B7704A09D2

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1672171226"