Source
mathcomp-zify (1.2.0+1.12+8.13-6)
Version
1.2.0+1.12+8.13-6+b4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 13 Feb 2023 07:32:51 +0000
Build-Path
/build/mathcomp-zify-nlgJza/mathcomp-zify-1.2.0+1.12+8.13

First submitted
Mon, 13 Feb 2023 12:14:36 +0000
SHA1 of .buildinfo
d6bc2ac4eda26cf613452bc2540717fe97695d6e

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_armhf.deb)
SHA1: 3de41c32c28df1ca26211b984fd64125fd41c890
SHA256: a987e671fd0ce905e3a868c1cb9ff63fa6ce758d357247b71ac57180f144c85a

Size: 228,752 bytes

Other checksums

Submissions

Submitted
Mon, 13 Feb 2023 12:14:36 +0000
Signed by
0x61F9D2915A10ACD9

Environment


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