Source
aac-tactics
Version
8.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Oct 2017 16:27:17 +0000
Build-Path
/build/aac-tactics-8.6.1/2nd

First submitted
Mon, 9 Oct 2017 16:27:22 +0000
SHA1 of .buildinfo
b1dc4d52b9f613b63bc5097efb72b046d0406618

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-2_all.deb)
SHA1: e1eb30331f069c29cd99d6d50dd4c9d62b4f3890
SHA256: 1577f1674b9a97e81cb8c7c271e47e9ad4f94ae408d92d66548365966e4e5822

Size: 222,528 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_amd64.deb)
SHA1: dd450b7fb0e59eab958fd757bd1607508480f7c1
SHA256: b8cd44c5b4f85aee136b60d58129ae4225d6ce22c81a8df3be6b3e8433ddbb36

Size: 122,540 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb)
SHA1: 6c0df0dd02ca306d72d72f826a2cdfebda9d7577
SHA256: d98d399c7fc3aa5bc6d2da8d611a0b3cf57d824704f287cb3c4a05918d28e777

Size: 38,632 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.deb
SHA1: 6b61685149cbd2a10a37f3c898fa6b588aed2a3b
Size: 15,778 bytes

Submissions

Submitted
Mon, 9 Oct 2017 16:27:22 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="aac-tactics_8.6.1-2=/build/aac-tactics-8.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538019"