Skip to files
DOWNLOADS
Software mirrors
Our network ↗
Software mirrors
/
Raspbian
/
pool
/
main
/
a
/
aac-tactics
THE OPEN SOURCE NETWORK
aac-tactics
/raspbian/pool/main/a/aac-tactics/
11
items
· Hosted in Wolverhampton on AS61049
Filter this directory
Filter
Name ↑
Modified (UTC)
Size
↰
Parent directory
—
—
↓
aac-tactics_8.17.0-1.debian.tar.xz
04 Jan 2023, 19:04
3.5 KiB
↓
aac-tactics_8.17.0-1.dsc
04 Jan 2023, 19:04
2.1 KiB
↓
aac-tactics_8.17.0.orig.tar.gz
04 Jan 2023, 19:04
73.9 KiB
↓
aac-tactics_8.20.0-1.debian.tar.xz
20 Nov 2024, 09:52
3.7 KiB
↓
aac-tactics_8.20.0-1.dsc
20 Nov 2024, 09:52
2.1 KiB
↓
aac-tactics_8.20.0.orig.tar.gz
20 Nov 2024, 09:52
75.8 KiB
↓
aac-tactics_9.0.0-4.debian.tar.xz
28 Jul 2026, 09:24
3.9 KiB
↓
aac-tactics_9.0.0-4.dsc
28 Jul 2026, 09:24
2.1 KiB
↓
aac-tactics_9.0.0.orig.tar.gz
29 Oct 2025, 07:13
68.5 KiB
↓
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb
21 May 2023, 01:16
376.9 KiB
↓
libcoq-aac-tactics_9.0.0-4_armhf.deb
10 Aug 2026, 16:08
296.3 KiB
Page 1 of 1