Source
aac-tactics
Version
8.17.0-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 29 Jun 2023 02:58:03 +0000
Build-Path
/build/1st/aac-tactics-8.17.0

First submitted
Thu, 29 Jun 2023 03:07:12 +0000
SHA1 of .buildinfo
d4897cdc22be3e2a00ea494802d81a5e1cd77e74

Binaries

libcoq-aac-tactics (libcoq-aac-tactics_8.17.0-2_armhf.deb)
SHA1: 1079586872a5365e6d6024a033687ab3caf11526
SHA256: 55e18ed07500bf4e5ff1ae91085015098b835767b86ca70da81183b73cb8ccab

Size: 387,140 bytes
libcoq-aac-tactics-dbgsym (libcoq-aac-tactics-dbgsym_8.17.0-2_armhf.deb)
SHA1: 9306e988a5eabb25c1ee2dc6959b14640cf9859a
SHA256: 0524ab36c91818d4a11ebb294b975096c27e89504d58aef930407f4ecf55f64a

Size: 15,160 bytes

Other checksums

Submissions

Submitted
Thu, 29 Jun 2023 03:07:12 +0000
Signed by
0xCDD42D70685A0E01

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686590840"