Source
aac-tactics
Version
8.5.1-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 17 Dec 2016 00:54:39 +0000
Build-Path
/build/1st/aac-tactics-8.5.1

First submitted
Sat, 17 Dec 2016 01:14:53 +0000
SHA1 of .buildinfo
b03b9138719bb864ac66f470fbe83e7ad474634f

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: 24398a11276d86a9a8d8106d2effac201783a964
SHA256: 25a23ab1fd1b2abb013eca03ee1ea8baa44cce8b16e9435fe3335104080bb0cd

Size: 122,102 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: 92234ac9acb668ba0d77a5975c6e8a33ed892b14
Size: 18,762 bytes

Submissions

Submitted
Sat, 17 Dec 2016 01:14:54 +0000
Signed by
0x322E4A74C5950ED0 odxu4 (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"