aac-tactics_8.6.1-2_mips.buildinfo (view)

Source
aac-tactics
Version
8.6.1-2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 9 Oct 2017 09:43:51 +0000
Build-Path
/build/aac-tactics-O7fsNA/aac-tactics-8.6.1

First submitted
Fri, 26 Oct 2018 09:38:28 +0000
SHA1 of .buildinfo
42e6ba919dc712ba5c3327790d7b9ea7167fcafd

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_mips.deb)
SHA1: 5255c24861bd0b6914e6ea145bd7950e795f7450
SHA256: 25218a70b4d4ca34724d300e1adf589c8df1f9472c04115e79d5e0511d9010cf

Size: 27,294 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_mips.deb)
SHA1: 662feef174d23c376964edcddc176ddc81909c21
SHA256: 1a60621a034c72a3644a57bc10f200e0bbe0fde67fb139d6e10bf95f493d1193

Size: 38,612 bytes

Other checksums

Submissions

e7mbgiiw
Submitted
Fri, 26 Oct 2018 09:38:28 +0000
Signed by
0xB56AD21C06EA3A49

Environment


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