Source
frama-c
Version
20191204+calcium-0.1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 31 Mar 2020 22:32:35 +0000
Build-Path
/build/frama-c-h5K03z/frama-c-20191204+calcium

First submitted
Wed, 1 Apr 2020 00:12:39 +0000
SHA1 of .buildinfo
0b79875bcc0dead751496fca9cb24af100b83c58

Binaries

frama-c-base (frama-c-base_20191204+calcium-0.1_mips64el.deb)
SHA1: 523f38d0fbd527c6891f7186b6c235c62b7b59e1
SHA256: ecf04dd7154c3d194af2f37c1eee2dfdc9425b3f9039f877f65d5af39343e605

Size: 23,450,464 bytes

Other checksums

frama-c-base-dbgsym_20191204+calcium-0.1_mips64el.deb
SHA1: e8752618bbbd67ad2686f1b98ad0d2b9964feeb0
Size: 25,056 bytes

Submissions

Submitted
Wed, 1 Apr 2020 00:12:40 +0000
Signed by
0x2378023FC330EAE7

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1584728060"