coq-hierarchy-builder_1.4.0-1_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 2 Oct 2022 21:41:28 +0000
Build-Path
/build/coq-hierarchy-builder-Tddtr7/coq-hierarchy-builder-1.4.0

First submitted
Mon, 3 Oct 2022 00:19:38 +0000
SHA1 of .buildinfo
79cb00a5fbf521d12d39f9fd783e9f23fa68eb4b

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-1_amd64.deb)
SHA1: 45cb704fb9f7cbef686d4b3fe139dc5bb8b33011
SHA256: 61022744a5543dc46ea8c28b4aec29f2f0d69a203160035fcfa3f15dfe9604f5

Size: 619,100 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-1_amd64.deb)
SHA1: 856fd1c05149b119edb4cdd38a1d6f6493e39035
SHA256: 6ae46e768bd6a716b91aa3ba7b54d1d1058fb06a88bf27648734d4ce87fd9330

Size: 238,924 bytes

Other checksums

Submissions

awqgakks
Submitted
Mon, 3 Oct 2022 00:19:38 +0000
Signed by
0xA57296EC987C3292

Environment


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