Source
frama-c
Version
20200625+scandium-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 18 Oct 2020 16:52:32 +0000
Build-Path
/build/2/frama-c-20200625+scandium/2nd

First submitted
Sun, 18 Oct 2020 17:32:17 +0000
SHA1 of .buildinfo
99ee0a26fa1627ce10bc2c1e7c8c9bd5bab22d5d

Binaries

frama-c-base (frama-c-base_20200625+scandium-2_armhf.deb)
SHA1: e812ca47d9fd2c38decd4d9735bb88e49e58b915
SHA256: f93337bd378d6e998fac3ca5d77418424722406c0fcd4887d200717bb4155f6a

Size: 58,926,480 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20200625+scandium-2_armhf.deb)
SHA1: 8e18a660c42ad4b895b9969fd3b9bf55511aa420
SHA256: bd162a593b69098b96b3d325d00eff4cffc7cbaebc5ad5a6a6f9bc2a613938e7

Size: 3,428,492 bytes

Other checksums

Submissions

Submitted
Sun, 18 Oct 2020 17:32:17 +0000
Signed by
0xB31CD0602364F84B jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1598423978"