paramcoq (1.1.3+coq8.16-3)_1.1.3+coq8.16-3+b1_amd64.buildinfo (view)

Source
paramcoq (1.1.3+coq8.16-3)
Version
1.1.3+coq8.16-3+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 13 Feb 2023 05:12:39 +0000
Build-Path
/build/paramcoq-ZQjc4U/paramcoq-1.1.3+coq8.16

First submitted
Mon, 13 Feb 2023 06:32:58 +0000
SHA1 of .buildinfo
6a5710dd1da27ea28bfa29f1fb02b0f1524efeb1

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb)
SHA1: 1752af1484c9aa6360b9303b848f0b20b6e8ac22
SHA256: e125c08cc2497e4a47a4d96935ef9a96facda547f29a7ba8bf075cd3b476ceab

Size: 115,748 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-3+b1_amd64.deb)
SHA1: c8abfb1552c7c1e55f55613ef59c23084e2640e8
SHA256: 37c4b69dbe5e90f2582f952ef0e22d36b1228357437634f1086fc2c72cebf02d

Size: 12,064 bytes

Other checksums

Submissions

3ut3dftr
Submitted
Mon, 13 Feb 2023 06:32:58 +0000
Signed by
0xB46845950145956B

Environment


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