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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 10 Jul 2022 14:30:38 +0000
Build-Path
/build/coq-ext-lib-0.11.6

First submitted
Sun, 10 Jul 2022 14:31:20 +0000
SHA1 of .buildinfo
7f0e2ff7c92917cf31fd85837c4bcc382326279a

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.6-1_armhf.deb)
SHA1: efe1337e288b9894fb0a577e1b74bdc99a96f112
SHA256: 3345130e55a6ea90efcbcebc078526fe5731a64a0c5ac6ff648b28118f5863d4

Size: 762,700 bytes

Other checksums

Submissions

py47uhbi
Submitted
Sun, 10 Jul 2022 14:31:20 +0000
Signed by
0x4F15D07E60F07CB2

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1656396534"