Source
frama-c
Version
20220511-manganese-1.1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 23 Jun 2022 10:46:39 +0000
Build-Path
/build/frama-c-OJ5FI5/frama-c-20220511-manganese

First submitted
Thu, 23 Jun 2022 12:26:51 +0000
SHA1 of .buildinfo
4e5932e11e9c877623ae338d2062df9afd1e2073

Binaries

frama-c-base (frama-c-base_20220511-manganese-1.1_ppc64el.deb)
SHA1: 3143c36d58b3bc9d0235f7f592db9709c04b5068
SHA256: ff48ca957eaeff8a9ebcbcd4a6e8f33aa1a441683e893c081faca5ae5b908b19

Size: 65,867,096 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1.1_ppc64el.deb)
SHA1: 3c1b706e818616c6437be57b2b82e4ecd9646826
SHA256: fd1d6db1c7bccfec62cc88607e85182d3558dcdc3ec73a299d7d5bd3673b462d

Size: 4,253,840 bytes

Other checksums

Submissions

Submitted
Thu, 23 Jun 2022 12:26:51 +0000
Signed by
0x4137458F517F7954

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1655977580"