Source
mathcomp-zify
Version
1.5.0+2.0+8.16-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 4 Apr 2024 08:43:55 +0000
Build-Path
/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16

First submitted
Thu, 4 Apr 2024 08:44:03 +0000
SHA1 of .buildinfo
8ee9eaa42234a35f88fee2e4a3115e902b87bd79

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.5.0+2.0+8.16-1_amd64.deb)
SHA1: 1e0a1c784522a3c3392b3345102372238f9af27e
SHA256: 83a9c192b2928a24628c6faf74c2e933fa890ea01296b272e7b76121534af30c

Size: 239,276 bytes

Other checksums

Submissions

Submitted
Thu, 4 Apr 2024 08:44:03 +0000
Signed by
0x5E6515A71A831546

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703240845"