paramcoq (1.1.3+coq8.16-2)_1.1.3+coq8.16-2+b2_arm64.buildinfo (view)

Source
paramcoq (1.1.3+coq8.16-2)
Version
1.1.3+coq8.16-2+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 24 Jan 2023 01:43:57 +0000
Build-Path
/build/paramcoq-T1Ios9/paramcoq-1.1.3+coq8.16

First submitted
Tue, 24 Jan 2023 06:22:24 +0000
SHA1 of .buildinfo
d530483df8c5c50d6dc4fde41e4ce9e57ac16dd3

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2+b2_arm64.deb)
SHA1: 7e16fad91e5b077c51362e812ba23658ad0b55b0
SHA256: 1147dd6b8b7efd857ca281fac5392bd2401ed3193e1af0df9365ca75982f9cb2

Size: 122,912 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2+b2_arm64.deb)
SHA1: 71caffa83c3c82a65d400030e3f78c086723af07
SHA256: 00bc1c05a125b8ce857e47dd2e6bbfcc2fa3dbd44cd114f1694d9d47ea5b27d2

Size: 14,316 bytes

Other checksums

Submissions

wyqorehi
Submitted
Tue, 24 Jan 2023 06:22:24 +0000
Signed by
0xC807690CBF7C490E

Environment


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