Source
mathcomp-zify
Version
1.2.0+1.12+8.13-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Apr 2022 09:43:22 +0000
Build-Path

First submitted
Mon, 16 May 2022 18:21:21 +0000
SHA1 of .buildinfo
2e6fc83ac00b6557cc29e474ae2bcf81937faa2c

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb)
SHA1: 84e662a4cf13fcbff64a170ba42db48a614bb6ff
SHA256: 9561fc644f95836121a0572b9b4b1f663fe950a6ce8619ac1856f3af41a913a1

Size: 230,216 bytes

Other checksums

mathcomp-zify_1.2.0+1.12+8.13-1.dsc
SHA1: 4101f7dfdbe777530c7327754ff0b32b15a913d1
Size: 2,105 bytes

Submissions

Submitted
Mon, 16 May 2022 18:21:21 +0000
Signed by
0x04C53BD7FE030551 Julien Puydt <jpuydt@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="fr_FR.UTF-8"
SOURCE_DATE_EPOCH="1650620207"