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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 30 Sep 2020 19:58:26 +0000
Build-Path
/build/2/aac-tactics-8.8.0+1.gbp069dc3b/2nd

First submitted
Thu, 29 Aug 2019 13:35:47 +0000
SHA1 of .buildinfo
33e7ce1981c5625480e95ab32ad5c746a7072cdb

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: 28c7a623fca8e6a716d10a936dedea9656708da7
SHA256: 1b0023256ce87a9e98624eb76657a9dd9c62741906df20e9202f20da03d14d6f

Size: 123,120 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: 7977d958c699e3e945f7fe5ff7c9ac462864011e
Size: 16,728 bytes

Submissions

Submitted
Thu, 29 Aug 2019 13:35:47 +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"