aac-tactics (8.6.1-1)_8.6.1-1+b1_mips64el.buildinfo (view)

Source
aac-tactics (8.6.1-1)
Version
8.6.1-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 22 Jul 2017 19:11:17 +0000
Build-Path
/build/aac-tactics-NgVd7n/aac-tactics-8.6.1

First submitted
Sun, 28 Oct 2018 02:19:47 +0000
SHA1 of .buildinfo
cc635272b18663d431f55d7331e9f3077d4b450b

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1+b1_mips64el.deb)
SHA1: 0c5831f88146753bf4d9b524238f33aae6518acb
SHA256: 7c415dc42e86f48f461e8413bcb7d937320af1d5db3890a850ffdcfd9dc4daca

Size: 27,436 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1+b1_mips64el.deb)
SHA1: aee969ba619bc40924f8117163c79f43643d07dc
SHA256: 6585cacc2cc88fd4c5becabff37541418a8a49cf6e5a65792025146649d0d249

Size: 39,238 bytes

Other checksums

Submissions

npcadpum
Submitted
Sun, 28 Oct 2018 02:19:47 +0000
Signed by
0xA64E52638DB67C8E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1500750459"