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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Jan 2024 09:54:42 +0000
Build-Path
/build/mathcomp-zify-1.2.0+1.12+8.13

First submitted
Thu, 15 Dec 2022 03:34:43 +0000
SHA1 of .buildinfo
360ea61386a9700b203c84c25cd185fd6b29ee10

Binaries

libcoq-mathcomp-zify (libcoq-mathcomp-zify_1.2.0+1.12+8.13-6_arm64.deb)
SHA1: 1a6d0733ca8689a729af3c8ca896c80c7d36d04a
SHA256: f0d0df427b01ac5290bb9a6f79bd16d6f3e9276aa044b967a6030ba98a280481

Size: 228,332 bytes

Other checksums

Submissions

Submitted
Thu, 15 Dec 2022 03:34:44 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657005570"