aac-tactics (8.8.0+1.gbp069dc3b-1)_8.8.0+1.gbp069dc3b-1+b1_mips64el.buildinfo (view)

Source
aac-tactics (8.8.0+1.gbp069dc3b-1)
Version
8.8.0+1.gbp069dc3b-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 4 Aug 2019 20:32:28 +0000
Build-Path
/build/aac-tactics-IllShj/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Mon, 5 Aug 2019 00:59:55 +0000
SHA1 of .buildinfo
4a8ea25d59c3d0a4d79b87705e006e922ffbba28

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_mips64el.deb)
SHA1: 734ddb01d48b72d34c4d45635fe67eb5781b4069
SHA256: abe48b835c9b60871339c8c31ac745b10ae46812b4d29426467fe99c7e1b709a

Size: 27,620 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_mips64el.deb)
SHA1: c15cf03977e7a23a8922252ce25d6da5ff1670b2
SHA256: 8d87e04ef76f5e9aab7fa5733aa67a63b139c1ce463c3396921c8b8c2c8a8857

Size: 38,224 bytes

Other checksums

Submissions

qrpxnyg9
Submitted
Mon, 5 Aug 2019 00:59:56 +0000
Signed by
0x2378023FC330EAE7

Environment


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