aac-tactics_8.5.1-1_all.buildinfo (view)

Source
aac-tactics
Version
8.5.1-1
Architecture
all i386

Build-Origin
—
Build-Architecture
i386
Build-Date
—
Build-Path
/build/aac-tactics-8.5.1

First submitted
Mon, 7 Nov 2016 04:42:52 +0000
SHA1 of .buildinfo
adcd598d7cf5953573a488fb0cf40fcd78c0e908

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.5.1-1_all.deb)
SHA1: 803f8aca28e938e8158fabb4f05bc900ee12dbb0
SHA256: 80f04e7dffe5ca851173b3b229243896aa8cab76b164869ea62a8e69f8d34224

Size: 218,050 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.5.1-1_i386.deb)
SHA1: 13b153818ce070ce7061ec3594e8e19d0b67b5b4
SHA256: 21e585e521416931d1d0e71ed25dac99bca37152a7bbf84e36200df0006ca596

Size: 107,082 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.5.1-1_i386.deb)
SHA1: b0d49775191bdf2d279d0bc4b9e3692d5c86dad6
SHA256: 0eb61258632b8baa99bcfac1da7672ece0f0ec405be05898e0eddae430df4b61

Size: 38,798 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.5.1-1_i386.deb
SHA1: 9593edc35888b7a8535e2a40000e6b47d492c518
Size: 15,580 bytes

Submissions

dyw4sppe
Submitted
Mon, 7 Nov 2016 04:42:53 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)
kiimikm7
Submitted
Mon, 7 Nov 2016 04:42:53 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment