Source
frama-c
Version
20171101+sulfur+dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 27 May 2020 08:38:07 +0000
Build-Path
/build/1st/frama-c-20171101+sulfur+dfsg

First submitted
Thu, 25 Apr 2019 02:53:56 +0000
SHA1 of .buildinfo
c0ff335443ce4a22015091de9f57ec317aa16125

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_arm64.deb)
SHA1: 19f7886e58f9b80c2a4484c2532a075366a574c7
SHA256: 748aeae0aafe7e47d816954b65bc4a83e2c3b5e081b06672db2730f9f6b3af52

Size: 24,037,084 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_arm64.deb
SHA1: 15afecc6397dca40fa24a74bd7a4d61db6fde604
Size: 1,719,248 bytes

Submissions

Submitted
Thu, 25 Apr 2019 02:53:57 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1542019482"