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

Source
aac-tactics
Version
8.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 30 Oct 2018 09:44:56 +0000
Build-Path
/build/aac-tactics-8.6.1/2nd

First submitted
Wed, 27 Sep 2017 03:22:09 +0000
SHA1 of .buildinfo
37a08745b66ecee06f1e890e268f3b1c3aaf5d70

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.6.1-1_all.deb)
SHA1: 472c3fde0063a91ef7193ba2412af7a02a200e05
SHA256: c8f4725e75f124d7bee40cfa1979d39c0cbc189089794c72c3fa7c95107226aa

Size: 222,380 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1_arm64.deb)
SHA1: 7327a4e628132a66ffd0dc1a7a6bd646887c37d4
SHA256: 5946aae59a96aa4404bbf3b4623931a1d80475cd533cb0c2b0f51d7766b0f9dc

Size: 134,446 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb)
SHA1: f5de6827bc85d9b6ccb0b93f32be0cc0248b8177
SHA256: e1be6a06011464c50eb952b34cfec0914394819c0244543633aecf835d43ea3f

Size: 38,570 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-1_arm64.deb
SHA1: 1c83bb12e7089af67825c668f297b47fe2a59781
Size: 18,816 bytes

Submissions

wd7eonii
Submitted
Wed, 27 Sep 2017 03:22:09 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="aac-tactics_8.6.1-1=/build/aac-tactics-8.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482854811"