coq-hierarchy-builder_1.4.0-3_arm64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 13 Jun 2023 09:34:56 +0000
Build-Path
/build/coq-hierarchy-builder-H3dCgv/coq-hierarchy-builder-1.4.0

First submitted
Tue, 13 Jun 2023 12:15:42 +0000
SHA1 of .buildinfo
ced1eab63c863c3c2499c3a3493f2fb442e36202

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-3_arm64.deb)
SHA1: 2239b6a8cdd7e4d0f64047433afd3b518e7c8ba8
SHA256: e42638f1a84dd96a9b4dcf2d35ea64d483852011637624c13c8cec58d0252389

Size: 619,268 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-3_arm64.deb)
SHA1: e2c7ff77d4b74614c82ace6c6b6c85a0664fa289
SHA256: f3573679077cbd3114dff2b19cc3d57b75d53ecad28a099f497068c1b921592e

Size: 239,816 bytes

Other checksums

Submissions

zppfgbu7
Submitted
Tue, 13 Jun 2023 12:15:43 +0000
Signed by
0xC807690CBF7C490E

Environment


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