Source
aac-tactics
Version
8.9.0-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 10 Feb 2020 10:39:35 +0000
Build-Path
/build/aac-tactics-8.9.0

First submitted
Mon, 10 Feb 2020 10:42:10 +0000
SHA1 of .buildinfo
ad19cd1480d89acaba785f3e8a86bbe75cc2eadf

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.9.0-1_all.deb)
SHA1: 88f1e751d5aec496733f085a5249c69824d81294
SHA256: 706d8ee29098be36434273dd15450dcdf69660386be18a0a506713d0c5cab953

Size: 249,356 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1_i386.deb)
SHA1: c3d021403a107792f49009e0279e01bc0fbf2c82
SHA256: ab0ef424866ae231c49e9fa0530d9e8cbd6abef7f3daf187c386272d323769e9

Size: 109,828 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1_i386.deb)
SHA1: c1bc38dcf49ff1583d63aee40475838e18437522
SHA256: 6f0d04226d19626728c200213c348ac11671bfa67b763d003a501d6809b13af4

Size: 40,672 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1_i386.deb
SHA1: 8997d64bbc9647d417f73013f183db43654e169e
Size: 15,996 bytes

Submissions

Submitted
Mon, 10 Feb 2020 10:42:10 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1580653002"