prover9-manual_0.0.200902a-2.1_all.buildinfo (view)

Source
prover9-manual
Version
0.0.200902a-2.1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 11 Dec 2023 23:38:46 +0000
Build-Path
/build/1st/prover9-manual-0.0.200902a

First submitted
Tue, 8 Nov 2022 17:17:09 +0000
SHA1 of .buildinfo
a61b2a40967b40c7820eae39c8ee164cac2508ca

Binaries

prover9-doc (prover9-doc_0.0.200902a-2.1_all.deb)
SHA1: 07a48cff75a29c8b529d36a843935d78dc7b62c1
SHA256: 31efe97c254059e6eb83ed085bc8bf91296504274a5522eba347cb77250c0b21

Size: 856,368 bytes

Other checksums

Submissions

sds3pw97
Submitted
Tue, 8 Nov 2022 17:17:09 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609885265"