Source
aac-tactics
Version
8.8.0+1.gbp069dc3b-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 6 Aug 2019 16:49:59 +0000
Build-Path
/build/aac-tactics-8.8.0+1.gbp069dc3b/2nd

First submitted
Tue, 6 Aug 2019 16:51:22 +0000
SHA1 of .buildinfo
c5307036460303422addb2528ead5e44900a923a

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb)
SHA1: bf3467fcb18dfdf11b271ab98b47ca917ce800a8
SHA256: 7c09734a15fc3fd3ec8fc0bbc5b6d35968d11b9183e2d5ac3163b0a8b56dbf7d

Size: 220,700 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: 7f89aedfd38375a44ff0c61c3a37e602bacb5430
SHA256: a5e9f47d73fd3b85e95dbedcc0deda0333034b117f0aae7f3d7bf925972af32b

Size: 123,004 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb)
SHA1: 20e6632bca273c72cd40a5951fa20542ae14b32b
SHA256: 158041e6d57fa85caab1f06e302161ad3d1ca41e2b2a8c3f0e6d28a2e2b800b7

Size: 37,936 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_amd64.deb
SHA1: c6b7c922c87ea95abc5cdd8b34d8b7579be1710b
Size: 16,672 bytes

Submissions

Submitted
Tue, 6 Aug 2019 16:51:23 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1550453363"