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
—

First submitted
Sun, 6 Nov 2016 17:35:23 +0000
SHA1 of .buildinfo
4829719fefc032cf03fbc7bd112df6d03e734a87

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: eddad1c387ce8655102eded43a07ae83ecd405b7
SHA256: f936463c96de708eac57707339441da6499c249f676893c24f4b13132f748b2e

Size: 107,148 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: 614b244ef3f4b4e30d4727e61e9db1f27734871e
Size: 15,724 bytes

Submissions

yzayvu4w
Submitted
Sun, 6 Nov 2016 17:35:24 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)
wjt3oerz
Submitted
Sun, 6 Nov 2016 17:35:24 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment