frama-c_20201209+titanium-4.1_arm64.buildinfo (view)

Source
frama-c
Version
20201209+titanium-4.1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 13 Nov 2021 08:14:17 +0000
Build-Path
/build/frama-c-20201209+titanium

First submitted
Sat, 13 Nov 2021 08:23:58 +0000
SHA1 of .buildinfo
8877c8fb16e2ff321f92ab8ce3ef84c45332d140

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_arm64.deb)
SHA1: 01f0953b8279b25914932c2ae37e992842cf0b5f
SHA256: bf4a1a836d8e0a88f0e44410befe861199ceec736a27ea6cc72a24584baa142f

Size: 63,918,812 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_arm64.deb)
SHA1: 29f5efb5c10d42830e08eec6b769b7fc3180bdc5
SHA256: fc1d7138291f6b9083a0b74bd04727748e48579cb5366e3e50896b65ef1941ff

Size: 4,107,736 bytes

Other checksums

Submissions

utochfbs
Submitted
Sat, 13 Nov 2021 08:23:59 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1613081371"