frama-c (20220511-manganese-3)_20220511-manganese-3+b4_armel.buildinfo (view)

Source
frama-c (20220511-manganese-3)
Version
20220511-manganese-3+b4
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Mon, 3 Jul 2023 13:19:49 +0000
Build-Path
/build/frama-c-FmJTrE/frama-c-20220511-manganese

First submitted
Mon, 3 Jul 2023 18:15:43 +0000
SHA1 of .buildinfo
86b674187e5b9b56b8f00ab1455e8652f0bcbacc

Binaries

frama-c-base (frama-c-base_20220511-manganese-3+b4_armel.deb)
SHA1: df68993f2fb3488bed4bb77952e413fa11d0d1bc
SHA256: bee6768aecd4a2b4d3c1832fd9c777bf85f417c95201cf2e53ee034a10812a4a

Size: 40,453,104 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-3+b4_armel.deb)
SHA1: cc03cf6c0eb638a985ae6dd490efcb7949463508
SHA256: e6f0f3bd9536dbde55effa98d2f0c1b7994c29edece77093ad5e32d95fc045bb

Size: 120,776 bytes

Other checksums

Submissions

kb93wif4
Submitted
Mon, 3 Jul 2023 18:15:43 +0000
Signed by
0xC98724D9AA73AAA3

Environment


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