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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 15 Dec 2024 02:04:07 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sun, 15 Dec 2024 02:04:17 +0000
SHA1 of .buildinfo
a6c3a054ff74abd6b3369567dcc936a23512ed1d

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_amd64.deb)
SHA1: 8a9f223901f74fc5fa441001fbc3259d2742ab22
SHA256: 4ea30943b0af18419175feb8d1ed016c0d9f37bc557559feedba06c67295873a

Size: 60,307,852 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_amd64.deb)
SHA1: d9c54732f0fd2a2bd60a6c23ea674ff25d179d10
SHA256: c7f0cecce8ca41b562d95b7ccb18313c5c4ea4c428459d39e5de1e884d5447a8

Size: 4,602,108 bytes

Other checksums

Submissions

Submitted
Sun, 15 Dec 2024 02:04:18 +0000
Signed by
0x5E6515A71A831546

Environment


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