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

Source
prover9-manual
Version
0.0.200902a-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Jul 2021 01:12:37 +0000
Build-Path
/build/1st/prover9-manual-0.0.200902a

First submitted
Tue, 16 Jun 2020 18:50:30 +0000
SHA1 of .buildinfo
875803199b33598123e2e77802a47b84e76f965b

Binaries

prover9-doc (prover9-doc_0.0.200902a-2_all.deb)
SHA1: 34708fef94c9b0a120c7d609c5b0ba67a146e8a4
SHA256: f6c5bb34c81f64348f1c6dc22761c9530f545364fe4a9e0a25730a9d1805be8b

Size: 856,972 bytes

Other checksums

Submissions

eakkgwmx
Submitted
Tue, 16 Jun 2020 18:50:30 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1367644099"