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, 20 Mar 2023 06:36:27 +0000
Build-Path
/build/2/coq-ext-lib-0.11.7/2nd

First submitted
Mon, 20 Mar 2023 06:36:49 +0000
SHA1 of .buildinfo
bc2da7aa2b409e38da70becfbce21714a7e5e8fe

Binaries

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

Size: 757,184 bytes

Other checksums

Submissions

7uu4v3je
Submitted
Mon, 20 Mar 2023 06:36:49 +0000
Signed by
0xFD20BBE472905784

Environment


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