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

Source
aac-tactics
Version
8.6.1-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 9 Oct 2017 09:55:18 +0000
Build-Path
/build/aac-tactics-NYCvdS/aac-tactics-8.6.1

First submitted
Fri, 26 Oct 2018 09:38:46 +0000
SHA1 of .buildinfo
6610ca91ac514a8b6b39fcdbf102c4bcd1b25481

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-2_mipsel.deb)
SHA1: d962faf1f7b20f227b2b9b21c0fb084ded93ff11
SHA256: f964b55ee18467ebe615b18ad094d23e681e068282ffb5a4bf1c53a962258133

Size: 27,298 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-2_mipsel.deb)
SHA1: a34ea55977fa0b0839175d7220724468356051be
SHA256: 93aadd2b9a22503351a7b671a70415859af3c325c04c64a942bdddc5a7ff1012

Size: 38,610 bytes

Other checksums

Submissions

cbpywgen
Submitted
Fri, 26 Oct 2018 09:38:46 +0000
Signed by
0xD7D7D1B496D681DC

Environment


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