aac-tactics (8.9.0-1)_8.9.0-1+b1_arm64.buildinfo (view)

Source
aac-tactics (8.9.0-1)
Version
8.9.0-1+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 13 Feb 2020 03:15:18 +0000
Build-Path
/build/aac-tactics-Stxphr/aac-tactics-8.9.0

First submitted
Thu, 13 Feb 2020 06:30:39 +0000
SHA1 of .buildinfo
4a7796dfc06fabc531c845164d20ad37469ef5b3

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1+b1_arm64.deb)
SHA1: d35a814c487d0d2328516b1e562abd2207f563ad
SHA256: 0191bdde829191d396ce0777943bc2d2ca5ab76b807ae625ad5065e85c7d331d

Size: 132,956 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1+b1_arm64.deb)
SHA1: 021f736d3243a2767853cd50c2eafd81fc70b444
SHA256: 3d5a7ae3f8b95fc4f912ee7a0f9ea3b4f35bb7bde67f5cac02391e5cbdf9c5e4

Size: 40,972 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1+b1_arm64.deb
SHA1: b5887b52a97e339d62c07d2cac6a9044245e3951
Size: 19,396 bytes

Submissions

s73h4d7n
Submitted
Thu, 13 Feb 2020 06:30:39 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1581563604"