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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 5 Dec 2023 13:04:31 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Tue, 5 Dec 2023 13:08:29 +0000
SHA1 of .buildinfo
bb50ba0891981e30cf304ff09c439ffd256b30b3

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_arm64.deb)
SHA1: e437d7d7977bbc0043d4879d140e660a2008367d
SHA256: b6a1daeafd2a572a2f19420057b8740c3a3eb4029cb8a2078da85e5a55ad8173

Size: 57,269,048 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_arm64.deb)
SHA1: 55b6b31471314f6a9bb16c914fa73f66109d84b4
SHA256: 71319c05dbd9b920d49f86f54d2cafc2e5387958572548797285caaf659fc22f

Size: 4,777,788 bytes

Other checksums

Submissions

Submitted
Tue, 5 Dec 2023 13:08:30 +0000
Signed by
0xF088F61B03D475A8

Environment


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