aac-tactics_8.11.0-1_source.buildinfo (view)

Source
aac-tactics
Version
8.11.0-1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 17 Mar 2020 16:07:58 +0000
Build-Path
—

First submitted
Tue, 17 Mar 2020 18:12:46 +0000
SHA1 of .buildinfo
a2ade06ba7d691c23b7fa51c9fa710b7e1788910

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml ()
libaac-tactics-ocaml-dev ()

Other checksums

aac-tactics_8.11.0-1.dsc
SHA1: 211039abe581bcd52b7d62881f90c26badc63df3
Size: 2,178 bytes

Submissions

himiakwy
Submitted
Tue, 17 Mar 2020 18:12:46 +0000
Signed by
0x745C4766D4CACDFF Ralf Treinen <treinen@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="en_US.utf8"
LC_ALL="en_US.utf8"
SOURCE_DATE_EPOCH="1584459729"