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

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 4 Aug 2019 21:52:16 +0000
Build-Path
/build/aac-tactics-GWRcAv/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Mon, 5 Aug 2019 01:48:04 +0000
SHA1 of .buildinfo
e1fcfc4474717d45c806a8d84223c5ea31d652e6

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_mipsel.deb)
SHA1: 23bb2ee34954b93158c6709e43a0061e4700f06a
SHA256: 6bc143d1408f6542e421ffb7643aeada82b1fb0d208a19e51a9466764434421f

Size: 27,596 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_mipsel.deb)
SHA1: 155bafe440d6435fc5823197cf81294c1cb39acb
SHA256: 92977bb752caa12742610b09a55a283a7cdc8dbdf079efc6fc95b4ff376cc91e

Size: 38,204 bytes

Other checksums

Submissions

wmswpjhn
Submitted
Mon, 5 Aug 2019 01:48:05 +0000
Signed by
0x63C3731F835A0262

Environment


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