coq-stdpp (1.8.0-3)_1.8.0-3+b1_armhf.buildinfo (view)

Source
coq-stdpp (1.8.0-3)
Version
1.8.0-3+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 13 Feb 2023 05:24:44 +0000
Build-Path
/build/coq-stdpp-sRnENM/coq-stdpp-1.8.0

First submitted
Mon, 13 Feb 2023 06:31:27 +0000
SHA1 of .buildinfo
05814bed97ab4cdce3242f6f0dbcfd60d43f915c

Binaries

libcoq-stdpp (libcoq-stdpp_1.8.0-3+b1_armhf.deb)
SHA1: 74b170db6273f678952beb2f2445ceaa1290865a
SHA256: 8acf1fef03291c6acf09d102d7a72bb94dc21d90c0e7646ec24cae161a80116a

Size: 4,058,996 bytes

Other checksums

Submissions

cqj9vvzw
Submitted
Mon, 13 Feb 2023 06:31:28 +0000
Signed by
0x1F4A3365A46051A0

Environment


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