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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 2 Dec 2020 05:57:58 +0000
Build-Path
/build/2/aac-tactics-8.8.0+1.gbp069dc3b/2nd

First submitted
Wed, 30 Oct 2019 23:35:22 +0000
SHA1 of .buildinfo
07fff13f05dd273f3909321e980daa05e2fa206e

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: 785dd7ddfc1a4a08311be4f301f739d73781f4a7
SHA256: 20496370094f8bc4659ff3a1e8ddada58d228872832f99dc67711351558f5fde

Size: 123,276 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: 9b6b1f116a36dc87d6f844ba52e020062cb8adf2
Size: 16,720 bytes

Submissions

Submitted
Wed, 30 Oct 2019 23:35:22 +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"