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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 30 Jan 2023 19:29:58 +0000
Build-Path
/build/coq-ext-lib-0.11.7

First submitted
Mon, 30 Jan 2023 19:40:57 +0000
SHA1 of .buildinfo
3dd534c4a28ab83628d3ce19b0326dfc9618d7a5

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-2_armhf.deb)
SHA1: 911f018f2c401c798756a784f73ffdaf747665ef
SHA256: 59dff7160899bd489539f9ddd45f92254636cb7d5d7ddd55e4fb0c8e06bcd364

Size: 757,184 bytes

Other checksums

Submissions

uasmivjz
Submitted
Mon, 30 Jan 2023 19:40:58 +0000
Signed by
0x28F5F5D5FEE63ABA

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674629755"