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
Tue, 22 Nov 2022 14:18:08 +0000
Build-Path
/build/coq-ext-lib-0.11.7

First submitted
Tue, 22 Nov 2022 14:18:28 +0000
SHA1 of .buildinfo
56400c3575e6669908adb17d3ac5fa835688d0ac

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-1_armhf.deb)
SHA1: b1b3a86d0d9a33c876b262c9a90c90daf788fb6e
SHA256: 24e141edd53b5193d567ed4d6f5cd64de09fd2dbb8dd8f1de57fc437704dcad4

Size: 756,932 bytes

Other checksums

Submissions

utguwmzn
Submitted
Tue, 22 Nov 2022 14:18:29 +0000
Signed by
0xB586FBCA67A0DDF7

Environment


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