Source
aac-tactics
Version
8.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 17 Mar 2020 16:34:03 +0000
Build-Path
/build/aac-tactics-zK86KA/aac-tactics-8.11.0

First submitted
Tue, 17 Mar 2020 18:12:58 +0000
SHA1 of .buildinfo
6756645f5450a199fbeaa071cacf5e4c11fb05d7

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.11.0-1_all.deb)
SHA1: 16c2719e3f6c0ac8a1942ef9389d0e81e0b58362
SHA256: 7f30e0990937b0bcdf4952c8fdcedaecf7cf7c3a323b90152cab82deae88c4a0

Size: 244,928 bytes

Other checksums

Submissions

Submitted
Tue, 17 Mar 2020 18:12:59 +0000
Signed by
0xCA34C7F06ADE3B10

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1584459729"