coq-elpi_1.17.1-1_arm64.buildinfo (view)

Source
coq-elpi
Version
1.17.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 13 Jun 2023 08:11:41 +0000
Build-Path
/build/coq-elpi-mYtU5Y/coq-elpi-1.17.1

First submitted
Tue, 13 Jun 2023 12:11:16 +0000
SHA1 of .buildinfo
3c2648bb73685733c3dacd505b07887b010e9a60

Binaries

libcoq-elpi (libcoq-elpi_1.17.1-1_arm64.deb)
SHA1: e95af20ab90e11244162aaa0c06178d87017c299
SHA256: ea7cd7cab699b70e55fb8e64a1696d0e4814af535a17c7c0e4fb3fbdb0f51160

Size: 2,517,984 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.17.1-1_arm64.deb)
SHA1: ec5e5e89780709ceecfbd39d9276a273e4d54285
SHA256: dde758bee0cb64e1609c413131364d877ed632585c59cd4bad447c43befbe321

Size: 88,444 bytes

Other checksums

Submissions

ncqx7zux
Submitted
Tue, 13 Jun 2023 12:11:16 +0000
Signed by
0xC807690CBF7C490E

Environment


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