frama-c (20220511-manganese-4)_20220511-manganese-4+b1_mips64el.buildinfo (view)

Source
frama-c (20220511-manganese-4)
Version
20220511-manganese-4+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 16 Jul 2023 12:37:33 +0000
Build-Path
/build/frama-c-uOWKUp/frama-c-20220511-manganese

First submitted
Sun, 16 Jul 2023 18:12:48 +0000
SHA1 of .buildinfo
25f09bd7b582dbeb6a11788750250e1ff3b0e7d9

Binaries

frama-c-base (frama-c-base_20220511-manganese-4+b1_mips64el.deb)
SHA1: b111fadc97c22b7e107ec24cc36632d006961677
SHA256: cc4e2a349896adccc14037f2d7ccbb2db837d39a7d7320ce59bee6c070247f7f

Size: 40,498,956 bytes
frama-c-base-dbgsym (frama-c-base-dbgsym_20220511-manganese-4+b1_mips64el.deb)
SHA1: bcf539e90f58dfdd15d930d3ac0a359e19c39388
SHA256: e1a704a421cb73e6b05182e1d553e3d4aca5b1fc56772618ebcc9a8de02220ff

Size: 123,572 bytes

Other checksums

Submissions

ds7yibap
Submitted
Sun, 16 Jul 2023 18:12:48 +0000
Signed by
0x0ADFF05AA45E5DF4

Environment


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