coq-interval_4.7.0-1_ppc64el.buildinfo (view)

Source
coq-interval
Version
4.7.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 19 Jun 2023 20:04:38 +0000
Build-Path
/build/coq-interval-xm1Azd/coq-interval-4.7.0

First submitted
Tue, 20 Jun 2023 00:14:52 +0000
SHA1 of .buildinfo
6a809ed3042e67d1c916750c9801b8445d8d969a

Binaries

libcoq-interval (libcoq-interval_4.7.0-1_ppc64el.deb)
SHA1: b1c2c2bd4a1fe20560e2256d9dc3d0036a0eb741
SHA256: e7dd13e81463dc1c080b370ca0315b9a765ed3522e66361f4c197306257f7d00

Size: 4,613,668 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.7.0-1_ppc64el.deb)
SHA1: c837dcccc4b85e7aa72cc45b04b6bfd2fd08135e
SHA256: a95c60b0f11679071e4290af4daf761ed1a170f8e00b4fb9111c488398158c2d

Size: 3,992 bytes

Other checksums

Submissions

staapztz
Submitted
Tue, 20 Jun 2023 00:14:52 +0000
Signed by
0xC96F0409A8F66F2A

Environment


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