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

Source
aac-tactics
Version
8.6.1-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 9 Oct 2017 09:44:53 +0000
Build-Path
/build/aac-tactics-2cGSW0/aac-tactics-8.6.1

First submitted
Fri, 26 Oct 2018 09:38:29 +0000
SHA1 of .buildinfo
f538ecf01d8861b09be40cf45c898e38ec3dc510

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_mips64el.deb)
SHA1: b4b45c0e5448b88906a8cb09a088d024db264904
SHA256: 7870f202473535d3e4788918a71cd97df06afbc3c4d53e91e3d97102bc8ea4dd

Size: 27,296 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_mips64el.deb)
SHA1: 4476c1999a208d88ceda7e5754eccd142177a04c
SHA256: 2d4b655a98cddd774f3981fae862239b933ca38b8a9ccc3f01968abb24c465e3

Size: 38,612 bytes

Other checksums

Submissions

ospy493h
Submitted
Fri, 26 Oct 2018 09:38:29 +0000
Signed by
0x387644379DEB80AA

Environment


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