aac-tactics_8.8.0+1.gbp069dc3b-1_all.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 9 Oct 2019 20:36:42 +0000
Build-Path
/build/1st/aac-tactics-8.8.0+1.gbp069dc3b

First submitted
Wed, 9 Oct 2019 20:48:17 +0000
SHA1 of .buildinfo
dc396e6079f871ed1c825bb3598098f7c14bca6d

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb)
SHA1: a330c78a255efe4113a2f497707d3cdc84924d1f
SHA256: 4a358aaa2bbdef4b7c0c2fbd10ed6906295503a1b79e12cb0ebe9a2540f1d663

Size: 220,476 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_armhf.deb)
SHA1: 35283fd1c6394a91265e9259d0a0ff4a4bfe1568
SHA256: bed84d68b17fcf5397693e5fddae91e4dfcc56a41756147fe81ca5419791a5f4

Size: 118,576 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_armhf.deb)
SHA1: 814a480bd82c510a900d448dadde691dfbbf878f
SHA256: b240699e26fcf997b53582f82d16d66c457cf4d5356de7eb36ee0f3c5e4a8b8a

Size: 37,940 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.8.0+1.gbp069dc3b-1_armhf.deb
SHA1: a245101437e1113307c5c351b184ccf13e50f8fe
Size: 19,256 bytes

Submissions

7jkynkuj
Submitted
Wed, 9 Oct 2019 20:48:18 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


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