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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 29 Aug 2019 13:33:16 +0000
Build-Path
/build/1st/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Thu, 29 Aug 2019 13:35:45 +0000
SHA1 of .buildinfo
5ea7aef7d357bf3c1620e6fab2404ae03c903b99

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:45 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1550453363"