aac-tactics (8.8.0+1.gbp069dc3b-1)_8.8.0+1.gbp069dc3b-1+b1_armhf.buildinfo (view)

Source
aac-tactics (8.8.0+1.gbp069dc3b-1)
Version
8.8.0+1.gbp069dc3b-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 5 Aug 2019 22:34:49 +0000
Build-Path
/build/aac-tactics-th7ktd/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Tue, 6 Aug 2019 02:32:57 +0000
SHA1 of .buildinfo
37a2ecdff0c6060e948040f96c8d18478c1221f6

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_armhf.deb)
SHA1: efbf88aa92c46101785793887771e0b01a3c2598
SHA256: f4187cb80f2bda87a0bb7874e94902ab5bac75dfa4f8def9ced4b85e6e3d239e

Size: 119,052 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_armhf.deb)
SHA1: ff8740aa87b1704c8c28453a407246f944b20b84
SHA256: c1fef19be0b95dc1f3c23d377bda4e84c759528d911e439f695df7b501bc5fca

Size: 38,224 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1+b1_armhf.deb
SHA1: d54fa272adcdebe8c4f4e4691aac89e42bf64a37
Size: 19,324 bytes

Submissions

rxambubg
Submitted
Tue, 6 Aug 2019 02:32:57 +0000
Signed by
0x6691144F7DDE728B

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1565044254"