frama-c_20220511-manganese-1_arm64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 22 Jul 2023 06:02:15 +0000
Build-Path
/build/2/frama-c-20220511-manganese/2nd

First submitted
Sat, 18 Jun 2022 23:40:58 +0000
SHA1 of .buildinfo
7bbdf4b6d3677da463ab6b7166a87660021dc3a1

Binaries

frama-c-base (frama-c-base_20220511-manganese-1_arm64.deb)
SHA1: e1eb79690959e3aacbebe62bffd9e957cd3fec04
SHA256: 6fc70f42028041d8f44f9af199d27349c12e517a4777eaa5e7c99b1cb689d089

Size: 67,783,532 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-1_arm64.deb)
SHA1: c321bba89cf04aed29e76f10ba84f841ae49e93f
SHA256: 3fff4f0409946d4247d8b1e09e4b9222780f8064676570571495de05f97268f7

Size: 6,650,900 bytes

Other checksums

Submissions

tcnfnjsb
Submitted
Sat, 18 Jun 2022 23:40:59 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1655573951"