coq-hierarchy-builder_1.3.0-1_arm64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.3.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 30 Jul 2022 16:21:37 +0000
Build-Path
/build/coq-hierarchy-builder-I3YvW0/coq-hierarchy-builder-1.3.0

First submitted
Sat, 30 Jul 2022 18:18:23 +0000
SHA1 of .buildinfo
a85f49ac685f35f8cebc6caeb36692927055653f

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-1_arm64.deb)
SHA1: 5ae1e2ac585b124d9e20f73dbabb07ad0ad3ebc8
SHA256: cd109bd7903e93cc9fa7cc3ed9765be049bb9476f09f4b165e0d242186338f4e

Size: 619,008 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-1_arm64.deb)
SHA1: 95b093905e6ea32e945394f05db873a7f6153943
SHA256: 02ecb28dc7925e45b6d174990d4a12ecd534fa43f92345a4d16e4cf4ed26653d

Size: 225,968 bytes

Other checksums

Submissions

gfmxs9uq
Submitted
Sat, 30 Jul 2022 18:18:23 +0000
Signed by
0x569FBEE66A8618FD

Environment


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