Source
aac-tactics
Version
8.5.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 19 Jan 2018 00:07:11 +0000
Build-Path
/build/aac-tactics-8.5.1

First submitted
Fri, 16 Dec 2016 17:44:20 +0000
SHA1 of .buildinfo
642fec592e878d3019c3ceaf1012edb3ba863548

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: fe9b97607cf227434cd570809328facbee7f5563
SHA256: 8fb0c1ac3fc84426cf492678828592b89cfc5d736ce6737177bd628d4727351a

Size: 107,166 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: eb7771d2abef49ac9da1de640c37228a8cad0d36
Size: 15,604 bytes

Submissions

Submitted
Fri, 16 Dec 2016 17:44:20 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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