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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 5 Aug 2019 22:29:22 +0000
Build-Path
/build/aac-tactics-QFjXWH/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Tue, 6 Aug 2019 02:32:58 +0000
SHA1 of .buildinfo
91edcdd366f82984e51952178a44347f1580de68

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_i386.deb)
SHA1: ac6620e662ee96b0180b3789e179d60f527f3e2d
SHA256: 45ef1d13f23881187994345b2c3602c81a4db74d26dc5a5dee04c57a0d3e31d7

Size: 112,296 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_i386.deb)
SHA1: 016d2f87b744d9eda019fa1a71adea80f7e07f35
SHA256: 3e2b037a728d1995269ebb3ee80054c072c48924eaf2863da7aeb2b56ef53f06

Size: 38,260 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1+b1_i386.deb
SHA1: 261584b6026b80538feb53e75c4ae403a4801d5f
Size: 16,472 bytes

Submissions

z4jxyj9r
Submitted
Tue, 6 Aug 2019 02:32:59 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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