coq-deriving (0.1.1-1)_0.1.1-1+b1_armhf.buildinfo (view)

Source
coq-deriving (0.1.1-1)
Version
0.1.1-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 23 Jul 2023 07:52:03 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Sun, 23 Jul 2023 12:16:03 +0000
SHA1 of .buildinfo
86c9ab679c3ac3e1a788dc0b9a19add4ea0ee9ec

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b1_armhf.deb)
SHA1: 716ce62f5a5d4322a600edd09022737f4d70b23e
SHA256: 2276af4fcbc3fceb5887eafe796e6ee9e521a3d59200ff3e0af714aa038a94d7

Size: 422,588 bytes

Other checksums

Submissions

ahjucanh
Submitted
Sun, 23 Jul 2023 12:16:04 +0000
Signed by
0x6E2EB535F0F91C3C

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1690098538"