coq-elpi (1.17.1-1)_1.17.1-1+b1_amd64.buildinfo (view)

Source
coq-elpi (1.17.1-1)
Version
1.17.1-1+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 3 Jul 2023 13:06:52 +0000
Build-Path
/build/coq-elpi-KQqhdI/coq-elpi-1.17.1

First submitted
Mon, 3 Jul 2023 18:14:29 +0000
SHA1 of .buildinfo
f3a9a943c7c92e5fb83fdcf734f87f50bb416093

Binaries

libcoq-elpi (libcoq-elpi_1.17.1-1+b1_amd64.deb)
SHA1: 1bae9b841098ce1d6054d1d6f4f5f983ed02315f
SHA256: 0b79a75b19d334864325034a3aaf36ddddf9ad0beeb8516a5fcf10743d53c516

Size: 2,435,184 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.17.1-1+b1_amd64.deb)
SHA1: 9adcff9c4cb932ac78b31d61f9f8c970cc889e57
SHA256: 1aca2cc8e03fcbed8709a5da04c01a26c423b8e37e5df6bb18a773df7bdc2682

Size: 103,728 bytes

Other checksums

Submissions

a4q3wyum
Submitted
Mon, 3 Jul 2023 18:14:29 +0000
Signed by
0x0D9596E97DBD61DA

Environment


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