coq-elpi_1.15.6-4_arm64.buildinfo (view)

Source
coq-elpi
Version
1.15.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 14 Nov 2022 01:36:17 +0000
Build-Path
/build/coq-elpi-VtPrub/coq-elpi-1.15.6

First submitted
Mon, 14 Nov 2022 06:17:13 +0000
SHA1 of .buildinfo
f34aaf61c0df235c3da6645f7d1fa6fa28232f61

Binaries

libcoq-elpi (libcoq-elpi_1.15.6-4_arm64.deb)
SHA1: 3a9c6585e2eb40b35a4e5dc81c0b6d4995e3312c
SHA256: 19388f67a09d0a7efaa7d3a8656012d79b2aa618dcd237fff60695534eb28dbf

Size: 2,381,444 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.15.6-4_arm64.deb)
SHA1: 93a544c84ff3c22ae280140a325f3a82bc7a5e7a
SHA256: 87e96feb8e0e1b43f07a1e2320621a7c1bf55b1ee3c2249948a2d3c961a1893d

Size: 86,124 bytes

Other checksums

Submissions

egzfjzyz
Submitted
Mon, 14 Nov 2022 06:17:13 +0000
Signed by
0x15B0D8D0DA4BE456

Environment


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