Source
aac-tactics
Version
8.6.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 6 Dec 2018 19:29:32 +0000
Build-Path
/build/aac-tactics-8.6.1

First submitted
Fri, 3 Nov 2017 13:21:20 +0000
SHA1 of .buildinfo
575aa259edbb213c744b9486dd3dc15cba2a11c9

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-1_all.deb)
SHA1: 0cf4c35cc4ff5b978f8f92763040dc78ce54969c
SHA256: 8dc1ca14754c672ec3404f05763d59ec5917525d8ec05014ad5f99df92fd5893

Size: 222,048 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1_i386.deb)
SHA1: 033c0e63018bf4c404194c0face3ba87cb1337fd
SHA256: bd8b4402c5f0c755884c50295ce96490f7cc8be0e93f9b716768e12281e055ab

Size: 103,788 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1_i386.deb)
SHA1: b6fdddbf424e24b42dfb8586e96c6e492a474b52
SHA256: 249ef1aa337e03a681d8418d7b56538366ee77a21a700f3cdc97790082e6de66

Size: 38,804 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-1_i386.deb
SHA1: 149073ef43c5be75064906135f6b21ac5a6337b9
Size: 14,928 bytes

Submissions

Submitted
Fri, 3 Nov 2017 13:21:21 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482854811"