Source
mathcomp-zify (1.2.0+1.12+8.13-6)
Version
1.2.0+1.12+8.13-6+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 30 Nov 2022 04:34:40 +0000
Build-Path
/build/mathcomp-zify-nxt2JU/mathcomp-zify-1.2.0+1.12+8.13

First submitted
Wed, 30 Nov 2022 06:19:41 +0000
SHA1 of .buildinfo
3e1e2d09a5afd6825e98028f8b578e81737c4798

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_arm64.deb)
SHA1: 2fd96694b3b0bbd2af4065fe225fce66e644eed4
SHA256: f974fd63604bb5206617c91f68251e555d700c9bd2c809ab040f1d7efc52a688

Size: 228,472 bytes

Other checksums

Submissions

Submitted
Wed, 30 Nov 2022 06:19:41 +0000
Signed by
0x0C6EF2CA0BFCF36B

Environment


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