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

Source
coq-elpi
Version
1.16.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 1 Mar 2024 03:03:58 +0000
Build-Path
/build/coq-elpi-1.16.0

First submitted
Fri, 27 Jan 2023 20:47:38 +0000
SHA1 of .buildinfo
ab087398d2358aa8ecdf6707f52915b78a502d48

Binaries

libcoq-elpi (libcoq-elpi_1.16.0-1_arm64.deb)
SHA1: 11ef58ddf20f17d46ad2f4eb53ac069fe883fbbf
SHA256: 41efca98f63f42f9395caef23c88a7dbb06f6023dc41e866e40167937410a603

Size: 2,511,244 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.16.0-1_arm64.deb)
SHA1: 1e93644951053589aa8df85688a0add42849073a
SHA256: 5e1de5163845dd8a5b38f90a2034455d8a6fe90d959e3fe8a0494040ab8cc17b

Size: 87,480 bytes

Other checksums

Submissions

h44knzvn
Submitted
Fri, 27 Jan 2023 20:47:39 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1668879084"