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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 27 Oct 2020 14:42:05 +0000
Build-Path
/build/1st/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Wed, 25 Sep 2019 08:36:12 +0000
SHA1 of .buildinfo
d04e09f3bb6abd52a4840aebfb99b80697b8eaa5

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb)
SHA1: 5ca4f1880274b779ee7f0f427333d6c38b24a1fc
SHA256: 0f0eed80508af69deb5d90c822239962f7abb5278a5931d0afc7f3f82a468199

Size: 220,692 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: 16c2e89831d87c9d152908dc2872373c75fb0575
SHA256: 942ef30a9fd3996bc90b7771e619235c9062fac9d407f2b779fe3dbbba3438bc

Size: 123,192 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: 278c2152c48dc3adf213592512f72682451cdd45
SHA256: a258d5c3aad5e8eaf2df9eae377480ceb1bda9aae06774b02f6361f1339a59f2

Size: 37,936 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
SHA1: 836c4f435d48c393ab5098999256b34ceb2c0030
Size: 16,812 bytes

Submissions

Submitted
Wed, 25 Sep 2019 08:36:13 +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="1550453363"