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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 23 Jul 2023 07:31:00 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Sun, 23 Jul 2023 12:13:57 +0000
SHA1 of .buildinfo
92fe6cdaaa0e2e8d3b4a3b6284142aa8ea944fe6

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b1_amd64.deb)
SHA1: 408f549447075c9aa1b67cc16e2509937a528fff
SHA256: 851afa37f5f2b6ab47fd38d81f5100996b2e259ac2cb7f63b3579eba06def110

Size: 423,284 bytes

Other checksums

Submissions

9ji4sksm
Submitted
Sun, 23 Jul 2023 12:13:57 +0000
Signed by
0x8F962315E0D9D093

Environment


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