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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 18 Nov 2021 14:13:00 +0000
Build-Path
/build/1st/frama-c-20201209+titanium

First submitted
Thu, 18 Nov 2021 14:45:38 +0000
SHA1 of .buildinfo
34e946499bf4166b4a40393841466a35529d0f6e

Binaries

frama-c-base (frama-c-base_20201209+titanium-4.1_armhf.deb)
SHA1: 4669282729018f93ae26d1caa8a0d256820e53a3
SHA256: 3271f9b7ad824dd5cb9c66b1be119a21731493a536a424dcfafd8b4451666407

Size: 60,103,796 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20201209+titanium-4.1_armhf.deb)
SHA1: 0cac53bc303c38663b815b3a9dd626db9ee82b5f
SHA256: b5180bfc3fa0b22353ebbeff04476ce0c438f4d9003e35c178c6ab6c5449a214

Size: 3,589,108 bytes

Other checksums

Submissions

Submitted
Thu, 18 Nov 2021 14:45:38 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1613081371"