coq-reglang_1.1.3-4_riscv64.buildinfo (view)

Source
coq-reglang
Version
1.1.3-4
Architecture
riscv64

Build-Origin
Debian
Build-Architecture
riscv64
Build-Date
Tue, 5 Sep 2023 20:51:30 +0000
Build-Path
/build/reproducible-path/coq-reglang-1.1.3

First submitted
Wed, 6 Sep 2023 00:17:01 +0000
SHA1 of .buildinfo
bea5638440a98fed382e8a057618f4e2b7d96ddd

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-4_riscv64.deb)
SHA1: ff1f72c02e9fb8bd5d35959ad71f311f4973ceda
SHA256: 8aa48da5584595c58e8ab9efb3d5f06e304fe24692dbbb730b62d42f3e70744f

Size: 724,200 bytes

Other checksums

Submissions

ncvrp3su
Submitted
Wed, 6 Sep 2023 00:17:01 +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="1688636798"