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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Sep 2019 08:35:35 +0000
Build-Path
/build/2/aac-tactics-8.8.0+1.gbp069dc3b/2nd

First submitted
Wed, 25 Sep 2019 08:36:44 +0000
SHA1 of .buildinfo
4681f40e6ed5b40e32a030e090287b90e4c79c2d

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:45 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"