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

Source
aac-tactics
Version
8.5.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 11 Feb 2018 23:57:46 +0000
Build-Path
/build/aac-tactics-8.5.1

First submitted
Mon, 9 Jan 2017 17:38:45 +0000
SHA1 of .buildinfo
75ff7ab01309fe246e1620ee5fe55f0d5f7bf453

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.5.1-1_all.deb)
SHA1: 6ca21bb269c29603128ed1a769bb762e6a1e3481
SHA256: 3fde7132efdfd4da0a7ed6b53fc4aae56eacc156ee9a1a693762b4def580dd46

Size: 218,438 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.5.1-1_arm64.deb)
SHA1: e79ea1ad6e471476e3b4e459064ff6100804749e
SHA256: f60900ab462f8f23da690842ec9dc00626d2c4118c5e3813830621107d1ff9cc

Size: 112,422 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.5.1-1_arm64.deb)
SHA1: d84416022c3b94b0567b620d165e27d0f3482c1a
SHA256: 3f32a11cce58bf1ba19401753fd2f498cbf06d1c9524c879885e4e87614e40a0

Size: 38,806 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.5.1-1_arm64.deb
SHA1: a253c0138b9bc082e2e38de7c1454c55a70b31dc
Size: 16,036 bytes

Submissions

icbpvyze
Submitted
Mon, 9 Jan 2017 17:38:45 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1469306688"