Source
aac-tactics
Version
8.5.1-1
Architecture
all armhf

Build-Origin
Build-Architecture
armhf
Build-Date
Build-Path
/build/1st/aac-tactics-8.5.1

First submitted
Sat, 12 Nov 2016 10:06:03 +0000
SHA1 of .buildinfo
99755e80dfda2bd70156b478dfcd6b817ed35452

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: 495bd5daf521e59e2b1fbc46b9b5ac9e7b4720b1
SHA256: fc548c44ebee51fcdac02b66f5665bcbb357290ff837721e6994eb202ea66113

Size: 122,168 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: cac25bd4b70f7c0c29ed01bb0ff7e23b0234f048
Size: 18,792 bytes

Submissions

Submitted
Sat, 12 Nov 2016 10:06:04 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment