coq-ext-lib_0.11.6-1_arm64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.6-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 13 Aug 2023 20:44:40 +0000
Build-Path
/build/coq-ext-lib-0.11.6

First submitted
Mon, 11 Jul 2022 14:25:02 +0000
SHA1 of .buildinfo
35fa63d24b6cbc9ae84862aa64b04327752bb196

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-1_arm64.deb)
SHA1: 089e92d4c391b7d920f7d574214fd1b5abc167b5
SHA256: 4655183ad353c2bc4bd655e367c1ca71e8ad0760ecf655d807ba4b7f8a969b2f

Size: 763,640 bytes

Other checksums

Submissions

3vh9jfaj
Submitted
Mon, 11 Jul 2022 14:25:03 +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="1656396534"