frama-c_20220511-manganese-5_armhf.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 9 Sep 2023 07:28:18 +0000
Build-Path
/build/reproducible-path/frama-c-20220511-manganese

First submitted
Sat, 9 Sep 2023 12:12:16 +0000
SHA1 of .buildinfo
e0c9412bc8a4265be8fd5dd83a2299ff60253980

Binaries

frama-c-base (frama-c-base_20220511-manganese-5_armhf.deb)
SHA1: 4198feb930997b7fd865ae910886ef7934bcdf0f
SHA256: b08aa26add555ff3a7da09fdff6230674192495d53c3a4ff05837cd69fd7ca2f

Size: 52,873,276 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-5_armhf.deb)
SHA1: 40fdc14dc735ea08f4011aa25d1b26cbaa456c37
SHA256: 638821d3dc4fd6eb9c40eed501a82b426a0b683fdf0d426b6841eaa1a5a265c1

Size: 4,125,412 bytes

Other checksums

Submissions

aawanyf3
Submitted
Sat, 9 Sep 2023 12:12:17 +0000
Signed by
0x870BDCEB9ABB8A25

Environment


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