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

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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 22 Jul 2017 06:00:26 +0000
Build-Path
/build/aac-tactics-TsF2wS/aac-tactics-8.6.1

First submitted
Sun, 28 Oct 2018 01:47:44 +0000
SHA1 of .buildinfo
c760d6ce5eceee862669fe1601a6c1c521973f7c

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1+b1_s390x.deb)
SHA1: 7b8bb78482cced60d2f3c7905e7daf735efebb63
SHA256: 708210cd87af68c717f31436ad0db9506ee80d691211c86cd57f13a169297a45

Size: 27,434 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1+b1_s390x.deb)
SHA1: 3329c22cb2c054a5237979188ce68f414552ad97
SHA256: 30faa63a038733f6234083f7cb5af867acb8d3124c452eda4bd11543df5af9fb

Size: 39,224 bytes

Other checksums

Submissions

r9bdse4i
Submitted
Sun, 28 Oct 2018 01:47:44 +0000
Signed by
0x135DC390E4032D36

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1500703108"