coq-reglang (1.1.3-1)_1.1.3-1+b3_ppc64el.buildinfo (view)

Source
coq-reglang (1.1.3-1)
Version
1.1.3-1+b3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 24 Jan 2023 18:04:31 +0000
Build-Path
/build/coq-reglang-Kdy7kT/coq-reglang-1.1.3

First submitted
Wed, 25 Jan 2023 00:11:27 +0000
SHA1 of .buildinfo
3d5c6c9d6ebec6e3c711b25745a9ccb60f569ec8

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-1+b3_ppc64el.deb)
SHA1: 1538114869c84eeecaaf8c5100b2f8b18a43f3a7
SHA256: 0fc15867a362507fcdd6ff53cb3798ff25b0658e0db935c6bfbab2d69c51656e

Size: 724,488 bytes

Other checksums

Submissions

inywkhcq
Submitted
Wed, 25 Jan 2023 00:11:27 +0000
Signed by
0x667113CDA6A60D2C

Environment


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