coq-reglang_1.1.3-3_armhf.buildinfo (view)

Source
coq-reglang
Version
1.1.3-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 14 Jun 2023 22:06:38 +0000
Build-Path
/build/coq-reglang-dG66Ky/coq-reglang-1.1.3

First submitted
Thu, 15 Jun 2023 00:16:12 +0000
SHA1 of .buildinfo
43d70950192fe8225ef08689976ffa30d89e4ded

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-3_armhf.deb)
SHA1: 5fc65551db049184d7482763d0a99017e5c864b6
SHA256: 0897dea09a06c3296bb5500c0f8e7b617b42204f0c238878e641f7d445378e23

Size: 723,604 bytes

Other checksums

Submissions

wgqoffnz
Submitted
Thu, 15 Jun 2023 00:16:13 +0000
Signed by
0x6E2EB535F0F91C3C

Environment


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