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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 25 Apr 2019 02:25:14 +0000
Build-Path
/build/frama-c-20171101+sulfur+dfsg/2nd

First submitted
Thu, 25 Apr 2019 02:53:59 +0000
SHA1 of .buildinfo
030d4fcfe2b6a89fa8a5feec8654eee14eda8c42

Binaries

frama-c-base (frama-c-base_20171101+sulfur+dfsg-2_arm64.deb)
SHA1: b7f507ecb03729aad3b8aa44669d9fb3b65d753f
SHA256: e6b1ee0876b549b4881e64776764af91e75c336837281d18ce1fa1a3dc2884d3

Size: 24,019,252 bytes

Other checksums

frama-c-base-dbgsym_20171101+sulfur+dfsg-2_arm64.deb
SHA1: 79bbbcac3a64e2d3a0f4be2368031a7ffe0ccc5e
Size: 1,719,140 bytes

Submissions

Submitted
Thu, 25 Apr 2019 02:53:59 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"