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 |