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

Source
aac-tactics
Version
8.6.1-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 10 Oct 2017 07:57:18 +0000
Build-Path
/build/aac-tactics-8.6.1/2nd

First submitted
Tue, 10 Oct 2017 07:57:35 +0000
SHA1 of .buildinfo
28bb3b10acf107a74b27bc7edfe541f7bb106f44

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-2_all.deb)
SHA1: 937fff3ef8be1824c1451cbcd9c4a0ef9ace2174
SHA256: 00499067e71c29f39c92a004789fe98c3b50cd3ceeaf0697821d33a70f12feec

Size: 222,024 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_i386.deb)
SHA1: 8830793ab0773e57a8184b949d74a7c938f017fa
SHA256: 4c88ff715371dccb5cb011f0a4effed43284374d2c378f709d74834f6bcab9df

Size: 112,096 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_i386.deb)
SHA1: 398e4c3b977079d7b3c2f9a17175dac0ab4eba3b
SHA256: 823caf7c62ef99eaba2e08bbeb5b281effb1b4e12564e6d760913f01102be29e

Size: 38,632 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-2_i386.deb
SHA1: 89bb934947ed771f42c7caa41840090876fd1733
Size: 15,650 bytes

Submissions

7omd9wev
Submitted
Tue, 10 Oct 2017 07:57:37 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (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=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507538019"