frama-c_20170501+phosphorus+dfsg-2_arm64.buildinfo (view)

Source
frama-c
Version
20170501+phosphorus+dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 10 Sep 2017 12:45:04 +0000
Build-Path
/build/frama-c-DrGur7/frama-c-20170501+phosphorus+dfsg

First submitted
Sat, 27 Oct 2018 08:37:57 +0000
SHA1 of .buildinfo
a29adb66abafe6096c4ad1c6d59d777fa6f1ebd1

Binaries

frama-c (frama-c_20170501+phosphorus+dfsg-2_arm64.deb)
SHA1: b77ddf010dc0179b0708dc178023d41e53c27ef2
SHA256: 9b17eaad1a73c79684f7ef77777da65bf99ec509a2237bf84db1946c1db8d79c

Size: 11,174,616 bytes
frama-c-base (frama-c-base_20170501+phosphorus+dfsg-2_arm64.deb)
SHA1: f819057ac448f8bf66262e68b8e1aa581ab8ebdb
SHA256: f5c2259ea5a71e5b24aea5f1014d9917be73b69906e9c99eed68dafe6d71b1b0

Size: 21,333,550 bytes

Other checksums

frama-c-dbgsym_20170501+phosphorus+dfsg-2_arm64.deb
SHA1: 07a85de2a4256161d9a11611b8928ac6087a5e43
Size: 1,077,092 bytes
frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_arm64.deb
SHA1: c796cc88266ac6e22f6bde43dd727836280e0511
Size: 1,047,720 bytes

Submissions

tubtpgr3
Submitted
Sat, 27 Oct 2018 08:37:57 +0000
Signed by
0xD801967D6CC31AEC

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1505044342"