aac-tactics_8.9.0-1_ppc64el.buildinfo (view)

Source
aac-tactics
Version
8.9.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 2 Feb 2020 15:22:46 +0000
Build-Path
/build/aac-tactics-oF2htf/aac-tactics-8.9.0

First submitted
Sun, 2 Feb 2020 19:05:19 +0000
SHA1 of .buildinfo
647455a7e4e5973fe8c267edfcef0b4eb2e67e36

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1_ppc64el.deb)
SHA1: 0e680b0a5f8aced1485be90533a97a9bd03564fb
SHA256: c96c73b98aff2e0792bf200b9e0d28402d5e86d055a2e78405e02dacee7862ed

Size: 125,644 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1_ppc64el.deb)
SHA1: 33cfb66f0f4070857ced54871a502928e13fbe77
SHA256: 71f59c5a9d80315f40707f2477ba659f49ea4776a7863b8a07ec7658530026a9

Size: 40,680 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1_ppc64el.deb
SHA1: 36fb0e01d57727aff0a8be4ee90e8bf55676188b
Size: 17,412 bytes

Submissions

vxiyivcv
Submitted
Sun, 2 Feb 2020 19:05:20 +0000
Signed by
0xECF065C4DB31787B

Environment


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