Source
aac-tactics
Version
8.6.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 18 Nov 2017 16:58:56 +0000
Build-Path
/build/aac-tactics-8.6.1

First submitted
Sat, 18 Nov 2017 17:03:46 +0000
SHA1 of .buildinfo
b8e6d4f801201ae81d72b07d75b66a11b27b2607

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-1_all.deb)
SHA1: 77db1f39e66718c327286bac790fda04fd887920
SHA256: bd06cc068f5a694dd32290fd5acd001ca2abca8146f49708a3efc5fc176a8cc2

Size: 222,008 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1_armhf.deb)
SHA1: 71108b0e64e7ddfa52133023c19545b1b80cab87
SHA256: 110ccc3677c139ea151d05082adc03afde1faa0fee8a4d4d9085357405b3a80e

Size: 117,344 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb)
SHA1: caaaa76b9fd9055b9871d8c84926e719d5a4c560
SHA256: e13736091505356768991816fb70adc09bc027917d6bef019593fdc99e7f9058

Size: 38,804 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-1_armhf.deb
SHA1: 0c672ba52a8e7518389aaa362c4ee87287ab4ae7
Size: 17,800 bytes

Submissions

Submitted
Sat, 18 Nov 2017 17:03:47 +0000
Signed by
0x1933B8D8B28A65EB cb3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482854811"