coq-elpi_1.16.0-1_amd64.buildinfo (view)

Source
coq-elpi
Version
1.16.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 20 Nov 2022 16:05:44 +0000
Build-Path
/build/coq-elpi-oFk3Uu/coq-elpi-1.16.0

First submitted
Sun, 20 Nov 2022 18:16:19 +0000
SHA1 of .buildinfo
8ff3d013d681079a4194c8825a145bae853c709e

Binaries

libcoq-elpi (libcoq-elpi_1.16.0-1_amd64.deb)
SHA1: b28ef8f9a6f973b7cc3948a739b3fcc09d041fae
SHA256: 89da4f1fcf9afa0484bb9256f939576e4e17c9bfd4c757448adc4cf50373b871

Size: 2,429,828 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.16.0-1_amd64.deb)
SHA1: 8217e909b82af62be4c27aa433669c52b7b68ed8
SHA256: 797bbcb94021551119599ffb9e864da197b38523ab821fe91226d2f1cb454d06

Size: 103,336 bytes

Other checksums

Submissions

uy3hryoj
Submitted
Sun, 20 Nov 2022 18:16:19 +0000
Signed by
0xB46845950145956B

Environment


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