Source
aac-tactics
Version
8.5.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 21 Dec 2016 04:52:11 +0000
Build-Path
/build/aac-tactics-8.5.1

First submitted
Wed, 21 Dec 2016 04:52:57 +0000
SHA1 of .buildinfo
6c0ef6e45b1aeffe8e0b265cd0014dfb88a76e82

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.5.1-1_all.deb)
SHA1: 3aa9ae1a63a5612416de0bd0b48fffd7569d11f4
SHA256: 6ea0c9ef3ca27c1453e91af346985a0ea8ffee785c0c5a660ead7511b0432f45

Size: 218,050 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.5.1-1_armhf.deb)
SHA1: 6918ddd672d430b509b55309a3b5dc5fce3fcd9f
SHA256: 64b9a476df4c89b6e814536136c5d0e5c6461a77629f310aba2b4342763c6b7c

Size: 122,466 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.5.1-1_armhf.deb)
SHA1: c3ea9b29c5942bb03642582a17fe1951e305192f
SHA256: 24c8d283a8401b7512357808ddb274b992766edf3d9ff3153e51f8057bca5652

Size: 38,798 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.5.1-1_armhf.deb
SHA1: 2465a77b8f42e56abd855f1bb63378008ec34c49
Size: 18,826 bytes

Submissions

Submitted
Wed, 21 Dec 2016 04:52:57 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1469306688"