Source
aac-tactics
Version
8.8.0+1.gbp069dc3b-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 25 Feb 2021 09:27:51 +0000
Build-Path
/build/1st/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Fri, 24 Jan 2020 03:07:49 +0000
SHA1 of .buildinfo
41c67e963fe5368666550468269d6e1c7567ea37

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb)
SHA1: 5e4aa7591c9570e8729712c4b993cff62d302b59
SHA256: d04a45ad3fc49eb6bc1a4feafceb27776cee2924582dd828b15b0a358ca47978

Size: 220,748 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: cd501ba12b3dc01c4e81857d513be63a8e195f30
SHA256: dd06b06d0abe50699b3c578a9c4b623eb179c4ee11973dc053e0b477f540c017

Size: 120,380 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: f060feeedfe26d41ea9415fb2a8539073481d31a
SHA256: ef0a4625b9b0c008df037c72d2bdf58552d20b8184b8149d03082f8e8f428b7d

Size: 40,664 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
SHA1: a312b74b2e1e52d461dc8ae97ca89eec7e7f47c4
Size: 16,396 bytes

Submissions

Submitted
Fri, 24 Jan 2020 03:07:49 +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="1550453363"