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

Source
coq-deriving (0.1.1-1)
Version
0.1.1-1+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 22 Sep 2023 09:37:59 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Fri, 22 Sep 2023 12:18:40 +0000
SHA1 of .buildinfo
0977161796fd2ffc0207d13288a0a11174bccfab

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b2_ppc64el.deb)
SHA1: 7fb489957a8cf0f98b7238a12f110657f125b0a4
SHA256: 24464f5829821aa67bcf28e519b3a20d91dcc240c407d196b301cec48f4c2827

Size: 423,016 bytes

Other checksums

Submissions

kgmpegmv
Submitted
Fri, 22 Sep 2023 12:18:40 +0000
Signed by
0xC96F0409A8F66F2A

Environment


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