coq-interval (4.8.0-1)_4.8.0-1+b1_riscv64.buildinfo (view)

Source
coq-interval (4.8.0-1)
Version
4.8.0-1+b1
Architecture
riscv64

Build-Origin
Debian
Build-Architecture
riscv64
Build-Date
Sun, 24 Sep 2023 13:01:36 +0000
Build-Path
/build/reproducible-path/coq-interval-4.8.0

First submitted
Sun, 24 Sep 2023 18:11:37 +0000
SHA1 of .buildinfo
61d06be5ac70a72c5dfeea2a751d75284e16ddc7

Binaries

libcoq-interval (libcoq-interval_4.8.0-1+b1_riscv64.deb)
SHA1: 1fb14fc5dbb23c9ab34afc044a4aebf9d8b038b0
SHA256: 5c05b1ba7d876ed01c84c25d96624ec16f65716fb47b6f61e13133986262f010

Size: 5,757,944 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.8.0-1+b1_riscv64.deb)
SHA1: df3c64e7ae7bf88e02206be9c7f34941b91a4e95
SHA256: 89485e69439c902316a8875dc91f55a467e172aa4ec9b1b180702c0541860f89

Size: 3,824 bytes

Other checksums

Submissions

4abirszc
Submitted
Sun, 24 Sep 2023 18:11:38 +0000
Signed by
0x1388C0F899E8336B Aurelien Jarno <aurelien@aurel32.net>

Environment


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