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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 26 Nov 2023 01:46:35 +0000
Build-Path
/build/1st/frama-c-20220511-manganese

First submitted
Sun, 23 Oct 2022 19:43:20 +0000
SHA1 of .buildinfo
9d6d1f4d2ba51d5d901530ccbdd5a23dfa39501b

Binaries

frama-c-base (frama-c-base_20220511-manganese-2_arm64.deb)
SHA1: 3d98086cf2a6259bb4b02967b87fe5cae21802fb
SHA256: 0c5b1a7dc3d89426229fc2e189eaeb8991d84edd5c46f4d70c3760f7bf491e40

Size: 67,167,308 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-2_arm64.deb)
SHA1: 22b5b7f951a8d4e681c84887cc12aed6e9575996
SHA256: 222603f883daa70738c4de8e68480d105db4a1be1c34e380053df0dbcd5d5439

Size: 5,259,344 bytes

Other checksums

Submissions

cbzkp3gq
Submitted
Sun, 23 Oct 2022 19:43:20 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1666520738"