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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 7 Oct 2022 12:47:15 +0000
Build-Path
/build/coq-ext-lib-0.11.7

First submitted
Fri, 7 Oct 2022 12:47:49 +0000
SHA1 of .buildinfo
9a83ed13914d6c7444da466b884deb6e787b1735

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-1_armhf.deb)
SHA1: a2a3fa48b82ade1d460703a82c9faa5c099c7780
SHA256: c69a177549d7c6d986b10ecf542e4b026b9b19f28ae53437a880a6c2db30bd90

Size: 756,932 bytes

Other checksums

Submissions

ab4fyvcm
Submitted
Fri, 7 Oct 2022 12:47:49 +0000
Signed by
0xCDD42D70685A0E01

Environment


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