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

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sat, 22 Jul 2017 16:32:25 +0000
Build-Path
/build/aac-tactics-lTUSVF/aac-tactics-8.6.1

First submitted
Sun, 28 Oct 2018 02:12:50 +0000
SHA1 of .buildinfo
73440d6cfc742b1b7500f4b1064ad9f43bd0a659

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1+b1_mipsel.deb)
SHA1: 3a61ea807a6a9607bf852854e3a15cf7cd8778d1
SHA256: eaaf1fbc5089d06402d07381fcb73c6a8d0d738c65ff9109e9660af7c01bdb7d

Size: 27,424 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1+b1_mipsel.deb)
SHA1: 18caaebd3fa2d0a36a0c33ede5002aedcea7bc21
SHA256: 290c6b6b1d5f828560d154bf952e71b2b870ef6b5edc7cb07a2f88991d4e5ea0

Size: 39,224 bytes

Other checksums

Submissions

4fsvs3cz
Submitted
Sun, 28 Oct 2018 02:12:51 +0000
Signed by
0x4DF7B02684EED3B9

Environment


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