Source
frama-c
Version
20220511-manganese-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 22 Oct 2024 22:02:14 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Tue, 22 Oct 2024 22:11:32 +0000
SHA1 of .buildinfo
3aa53b6c05629e042d10d6bbfcee1663fe3bb43a

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_amd64.deb)
SHA1: a8af9b2fe51a2d9e014689bf1125abbb997a4058
SHA256: 51ddceb82609c1bc49c3483ca61a38798060adda10d9a1d4d1753186ff095d45

Size: 60,266,856 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_amd64.deb)
SHA1: 551124ba3361e1188dc56fb72c517dd099d2774d
SHA256: 3cd168552a882e9c90500f2d0fd2fa29b974f0eaea4d411e6ffb2e1f52d760d4

Size: 4,592,488 bytes

Other checksums

Submissions

Submitted
Tue, 22 Oct 2024 22:11:32 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=20 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1694240816"