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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 27 Nov 2019 00:11:21 +0000
Build-Path
/build/1st/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Wed, 27 Nov 2019 00:25:15 +0000
SHA1 of .buildinfo
b0d9748cd175d6e9d40bd2fc81ff60262ef05013

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb)
SHA1: 5e4aa7591c9570e8729712c4b993cff62d302b59
SHA256: d04a45ad3fc49eb6bc1a4feafceb27776cee2924582dd828b15b0a358ca47978

Size: 220,748 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: c8dfe8d2123a1463fa1a98b859b8fb3773e30c81
SHA256: fa3ae1f901c2a6673daef2e6a26a62576b013adce22d8baa73d8f661525e2574

Size: 120,348 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: a52b4569d4933a3eb7f0390318619396a5f57efa
SHA256: b51b33e9254cc7cd35a7c42b698a43faf67a4f0798176f99758af6fa1e5f3317

Size: 40,664 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
SHA1: 5e00e0b988ca15110c999de6c7e37e28aab543fc
Size: 16,400 bytes

Submissions

Submitted
Wed, 27 Nov 2019 00:25:15 +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"