Source
aac-tactics (8.17.0-1)
Version
8.17.0-1+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 13 Feb 2023 05:02:49 +0000
Build-Path
/build/aac-tactics-0edtB2/aac-tactics-8.17.0

First submitted
Mon, 13 Feb 2023 06:29:05 +0000
SHA1 of .buildinfo
6822d6896ee5692d1730d0e3122ed47f819f8e8a

Binaries

libcoq-aac-tactics (libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb)
SHA1: 58146b0af84b844e365ba52d045039489e121409
SHA256: b7dfad61d73d6525f56bd79114a27f3f611b9e54333a1904ca818a3d287d8a82

Size: 393,044 bytes
libcoq-aac-tactics-dbgsym (libcoq-aac-tactics-dbgsym_8.17.0-1+b2_ppc64el.deb)
SHA1: d626be87b9be426c9fa1bc2a2769c380d48d6819
SHA256: 115a985bd6a16448224d0999d3688eb23ae8a06ccc664d01226fae650da7ed8a

Size: 13,656 bytes

Other checksums

Submissions

Submitted
Mon, 13 Feb 2023 06:29:06 +0000
Signed by
0x667113CDA6A60D2C

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1676264537"