coq-interval_4.5.2-2_armhf.buildinfo (view)

Source
coq-interval
Version
4.5.2-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 29 Aug 2022 07:51:14 +0000
Build-Path
/build/coq-interval-4.5.2

First submitted
Mon, 29 Aug 2022 07:52:05 +0000
SHA1 of .buildinfo
a680d98168203c224a4f18dd067e8d7396cf155d

Binaries

libcoq-interval (libcoq-interval_4.5.2-2_armhf.deb)
SHA1: bc0a7b4a2fa7add520bc6a14e5d4bb34a4821dba
SHA256: 12cc8e8b8c6e0e755d984f6dc5afacf8e0585246d3ae5e52446d63c46ab39841

Size: 4,490,096 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.5.2-2_armhf.deb)
SHA1: eb45541228da8893df6555853f0a368bea1f428e
SHA256: 9b766b35d5df950de46551a17a23e974322810e813098bcc39be8a658d7fe68d

Size: 4,160 bytes

Other checksums

Submissions

cgiiioug
Submitted
Mon, 29 Aug 2022 07:52:06 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1661594445"