Versions Packages Information History Related Badges Report

Versions for aac-tactics

21 package(s) known

Repository Package name Version Category Maintainer(s)
Debian 12
bookworm/main
aac-tactics 8.17.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Debian 13
trixie/main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Debian Unstable
sid/main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Devuan Unstable
unstable/main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Kali Linux Rolling
main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Parrot
parrot/main
aac-tactics 8.17.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Parrot
parrot-updates/main
aac-tactics 8.17.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
PureOS landing
landing/main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Raspbian Stable
main
aac-tactics 8.17.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Raspbian Testing
main
aac-tactics 8.20.0 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Trisquel 10.0
nabia/main
aac-tactics 8.11.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Trisquel 11.0
aramo/main
aac-tactics 8.15.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 14.04
trusty/universe
aac-tactics 0.4 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 16.04
xenial/universe
aac-tactics 0.4 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 18.04
bionic/universe
aac-tactics 8.6.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 20.04
focal/universe
aac-tactics 8.11.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 22.04
jammy/universe
aac-tactics 8.15.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 24.04
noble/universe
aac-tactics 8.18.0 universe/math ubuntu-devel-discuss@lists.ubuntu.com, glondu@debian.org, jpuydt@debian.org
Ubuntu 24.10
oracular/universe
aac-tactics 8.19.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Ubuntu 25.04
plucky/universe
aac-tactics 8.20.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org
Ubuntu 25.10
questing/universe
aac-tactics 8.20.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org