aac-tactics (8.11.0-1)_8.11.0-1+b1_amd64.buildinfo (view)

Source
aac-tactics (8.11.0-1)
Version
8.11.0-1+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 10 Apr 2020 13:02:53 +0000
Build-Path
/build/aac-tactics-9ZXkKW/aac-tactics-8.11.0

First submitted
Fri, 10 Apr 2020 18:11:10 +0000
SHA1 of .buildinfo
01e94009a2a6e587e09d52658e509b8c0aeb0c08

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb)
SHA1: f46e34cde2f483ce9b725568eeb9b91766a7acc4
SHA256: d1f7ca1f7838e4a08e45a91e1d9d90176b517afbc41d3b79d62b5b19dcbb05b7

Size: 109,244 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb)
SHA1: 9a5fc87e6e5a998cfe6583f9552573b507c7c471
SHA256: 654b3752436b710b909f3bebe7dbfca0a70ea9df0e9f27235e01d39c33f7531b

Size: 39,276 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.11.0-1+b1_amd64.deb
SHA1: b00df3a897fc2bbe785a103b2723c4c0ea364ec1
Size: 13,624 bytes

Submissions

xniobgga
Submitted
Fri, 10 Apr 2020 18:11:10 +0000
Signed by
0xDC30804AC2864A83

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1586523749"