Source
aac-tactics
Version
8.5.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 11 Dec 2016 03:01:21 +0000
Build-Path
/build/1st/aac-tactics-8.5.1

First submitted
Sun, 11 Dec 2016 03:02:32 +0000
SHA1 of .buildinfo
e868f27b7678a41dea86202981bee9b9cd4fb383

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
Sun, 11 Dec 2016 03:02:32 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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