aac-tactics (8.9.0-1)_8.9.0-1+b1_i386.buildinfo (view)

Source
aac-tactics (8.9.0-1)
Version
8.9.0-1+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 13 Feb 2020 05:12:18 +0000
Build-Path
/build/aac-tactics-X51GPG/aac-tactics-8.9.0

First submitted
Thu, 13 Feb 2020 06:53:55 +0000
SHA1 of .buildinfo
acea3ddc614d62c4674b70ad8405eb95c9bb13cf

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1+b1_i386.deb)
SHA1: f6bc6c037c44b6596aac8dd51726d7b2981cfb55
SHA256: 2f3ed8bc38010b3b66cd71cd9d72f1b5169d309a01625e2b7837fe69eae6e427

Size: 110,036 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1+b1_i386.deb)
SHA1: 4a97feff6ced48a3192e9de4dab0bfdb6650a038
SHA256: b6e4568550746236fd4fe25fe9d02df375db2409b97e8ab9581c198b0de4fc80

Size: 40,948 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1+b1_i386.deb
SHA1: b878b18c887bb9224ceb52cdf6d8fb957c925078
Size: 16,020 bytes

Submissions

yvqispq9
Submitted
Thu, 13 Feb 2020 06:53:55 +0000
Signed by
0xD9795CB00A61AF5E

Environment


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