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

Source
aac-tactics
Version
8.11.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 17 Mar 2020 16:34:13 +0000
Build-Path
/build/aac-tactics-fqlbpe/aac-tactics-8.11.0

First submitted
Tue, 17 Mar 2020 18:13:02 +0000
SHA1 of .buildinfo
5f1b5c2dd042439c428fb6628777f6a5c94890a9

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.11.0-1_ppc64el.deb)
SHA1: 69d420fa91acddc6a7e6a9395ec2d770eb90edeb
SHA256: b9bc15d2c261a572cd6922169675506a0635a491cf404512d9737a8ec8f11418

Size: 113,248 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb)
SHA1: 0182685fcad5b8d962bbe84f2cf9618350035f83
SHA256: 1945ecc3f94d7eded3e83ec7a7c732f708eb78b34ac06b29be4c8d6ba1ca77a1

Size: 39,004 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.11.0-1_ppc64el.deb
SHA1: 0e48f9f99e5a2b24a528a71c2169b761ef71d544
Size: 14,796 bytes

Submissions

qngpgb3b
Submitted
Tue, 17 Mar 2020 18:13:03 +0000
Signed by
0xAA4B2251A9397852

Environment


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