paramcoq_1.1.3+coq8.17-2_riscv64.buildinfo (view)

Source
paramcoq
Version
1.1.3+coq8.17-2
Architecture
riscv64

Build-Origin
Debian
Build-Architecture
riscv64
Build-Date
Wed, 30 Aug 2023 12:14:02 +0000
Build-Path
/build/reproducible-path/paramcoq-1.1.3+coq8.17

First submitted
Wed, 30 Aug 2023 18:13:48 +0000
SHA1 of .buildinfo
d01a83d248831188a5779f56024fd10c9b7a92d2

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.17-2_riscv64.deb)
SHA1: 8223262f50bd32b1e440af5bb7dff253db6ef658
SHA256: abace2b21cbec2788f04b09db30c31656bfe768600d754152de1c00101d71574

Size: 112,352 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.17-2_riscv64.deb)
SHA1: 9383d442dd353f994de54c3e7dba09555998f825
SHA256: 23a04f79c3f268cbab75f4d365d4d623dde6d4c31859d3a62b13f11badc3ddbe

Size: 12,128 bytes

Other checksums

Submissions

fjxqmjpr
Submitted
Wed, 30 Aug 2023 18:13:48 +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="1690272170"