Source
aac-tactics
Version
8.9.0-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 6 Feb 2020 02:35:23 +0000
Build-Path
/build/2/aac-tactics-8.9.0/2nd

First submitted
Thu, 6 Feb 2020 02:36:26 +0000
SHA1 of .buildinfo
9de47ec40df8b852a8d92ecbf198a4cdf1761710

Binaries

libaac-tactics-coq (libaac-tactics-coq_8.9.0-1_all.deb)
SHA1: ca7a1ecc0c1d2a30a5a79631b90d96f350ea1907
SHA256: 58814eae325a1a9e48fea3dee94cb3dfde1d74a539e0255a6ba769b3ca614749

Size: 249,368 bytes
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1_armhf.deb)
SHA1: 231d835b6d84fd5d13011642295f75599468c6ae
SHA256: bd87f44c02c8b63475c2f62ad7dc21c8c225289f419318f3a141ed30b5b93b69

Size: 117,592 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: f22b892705b79f1d52fad35ad85bd8b3a8df44f3
SHA256: d8a85e8bb0d70ebc827b407d357c6080e5dc369aa99311d275afe91dca9c6244

Size: 40,676 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: cadb56b1f8441a78fddb23ae711be142a8772992
Size: 18,760 bytes

Submissions

Submitted
Thu, 6 Feb 2020 02:36:26 +0000
Signed by
0x47D54348B9BAA515

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1580653002"