coq-stdpp_1.7.0-2_amd64.buildinfo (view)

Source
coq-stdpp
Version
1.7.0-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 21 Jul 2022 10:06:21 +0000
Build-Path
/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0

First submitted
Thu, 21 Jul 2022 12:15:44 +0000
SHA1 of .buildinfo
8b87887570cb8d58ffcb5514d7997f75bfaebc3f

Binaries

libcoq-stdpp (libcoq-stdpp_1.7.0-2_amd64.deb)
SHA1: 0dc2a3565b30ef34dbb834c7a6b855cdb10808eb
SHA256: 0a7edd6f59e275387d7305580c37aa74b7d05305e9d97178bdcfb1ddab436150

Size: 3,789,620 bytes

Other checksums

Submissions

rdvh9emf
Submitted
Thu, 21 Jul 2022 12:15:44 +0000
Signed by
0xB46845950145956B

Environment


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