Source
aac-tactics
Version
8.6.1-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 2 Feb 2018 08:03:27 +0000
Build-Path
/build/aac-tactics-8.6.1

First submitted
Fri, 2 Feb 2018 08:04:09 +0000
SHA1 of .buildinfo
a279d4a6b3e777bb05dd72bd273a79eb4bf4133a

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-2_all.deb)
SHA1: 0d5dd2a892a23b98d366e3d9ac3482bdb31d1145
SHA256: c232e42b681469cc35760e6639700c663ce17bb81fe7c8877f49613bb8817a5f

Size: 222,196 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_armhf.deb)
SHA1: 441382fce217dd9d59a804529a52309b58782a87
SHA256: 6f12c416ce3153167d7a39ae9c97b80e8097a79f22338d824fdb3914cae27d20

Size: 119,528 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb)
SHA1: d3fb7d67dba167514c3f8d5e2e79c83b81427247
SHA256: b05b3afc1dc8973f3b93616b1f20d94b3adec55b7feebade7ffd90987c0ec20a

Size: 38,480 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-2_armhf.deb
SHA1: 740db2af04e6b714f06e0d8a06263cc0b83e85df
Size: 18,572 bytes

Submissions

Submitted
Fri, 2 Feb 2018 08:04:09 +0000
Signed by
0x1933B8D8B28A65EB cb3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507538019"