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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 24 Sep 2020 17:23:13 +0000
Build-Path
/build/2/frama-c-20200625+scandium/2nd

First submitted
Thu, 24 Sep 2020 19:52:25 +0000
SHA1 of .buildinfo
b487918c4916cf26e18485c5cb21a3d1a6fc8773

Binaries

frama-c-base (frama-c-base_20200625+scandium-2_amd64.deb)
SHA1: 67bfb3a138d187f4de6bdcc96cff929b6587f41d
SHA256: c03e1c879cdb215d8334793ceb4aad2e00aeaeae90b8a3fbdc510daf3baea228

Size: 52,443,792 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20200625+scandium-2_amd64.deb)
SHA1: 6aed4cd61a8abb31f4b0c7994329711e75b83bc9
SHA256: b793940bd6317b2602b55c7419d7ee40cbe198ea2c411d1732fa99d22640edfc

Size: 3,757,416 bytes

Other checksums

Submissions

Submitted
Thu, 24 Sep 2020 19:52:26 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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