aac-tactics_8.6.1-2_all.buildinfo (view)

Source
aac-tactics
Version
8.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Oct 2017 16:25:09 +0000
Build-Path
/build/1st/aac-tactics-8.6.1

First submitted
Mon, 9 Oct 2017 16:27:20 +0000
SHA1 of .buildinfo
9839e5367648238b2ed5c6f5622f0d644656460a

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

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

Environment


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