coq-reglang (1.1.3-4)_1.1.3-4+b1_amd64.buildinfo (view)

Source
coq-reglang (1.1.3-4)
Version
1.1.3-4+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 23 Jul 2023 07:30:04 +0000
Build-Path
/build/reproducible-path/coq-reglang-1.1.3

First submitted
Sun, 23 Jul 2023 12:14:07 +0000
SHA1 of .buildinfo
25cfa09e9e76fc72b6e74bdd2a95ef3022107bff

Binaries

libcoq-reglang (libcoq-reglang_1.1.3-4+b1_amd64.deb)
SHA1: 1c2eacacd3e1b2d4255c4d510566f1da0865e4aa
SHA256: 464d102600ca0c8f1937e3cbfbd2e5e50ee72cc9beca3dfae00ea3512c7d56c6

Size: 724,404 bytes

Other checksums

Submissions

fffgxryf
Submitted
Sun, 23 Jul 2023 12:14:07 +0000
Signed by
0x0D9596E97DBD61DA

Environment


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