Source
aac-tactics
Version
8.6.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 6 Oct 2017 07:52:52 +0000
Build-Path
/build/aac-tactics-8.6.1/2nd

First submitted
Fri, 6 Oct 2017 07:53:36 +0000
SHA1 of .buildinfo
a46a1db9885f5eb2907d6d8abc2f74b90f1cfba1

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-1_all.deb)
SHA1: 2f7ef7c261d745d8325963ac8a67cf9aed3e990b
SHA256: 1e1e3e4a7394d96b2b1bc89189a4abdc10446abf56365f060000d425e18dfce1

Size: 221,940 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1_armhf.deb)
SHA1: f0ae6da602a23a32e78ac36d6ce784962c1d8eb1
SHA256: bb7e964b8b38c9eb77bc7cc7dc09ce1a11a1a7822c3f1d89c86a36c7b8c22221

Size: 119,708 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb)
SHA1: 7f5b4cac180d822c58e87486079516caeffea84d
SHA256: 8fe394fe594dff6b4c47a10b093d88412722deab7d124b53ce23c2a6ca066ae7

Size: 38,576 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-1_armhf.deb
SHA1: 872d98a02d8ee9684a8d3701b6e210f30f799818
Size: 18,676 bytes

Submissions

Submitted
Fri, 6 Oct 2017 07:53:37 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="aac-tactics_8.6.1-1=/build/aac-tactics-8.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482854811"