| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Debian 9
stretch/main |
aac-tactics |
8.6.1 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Debian 12
bookworm/main |
aac-tactics |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
|
Debian Janitor - Snapshots |
aac-tactics |
8.16.0+git20221030.1.6e02fa0 |
- |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Debian Unstable
sid/main |
aac-tactics |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Devuan 1.0
jessie/main |
aac-tactics |
0.4 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Devuan 2.0
ascii/main |
aac-tactics |
8.6.1 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Devuan Unstable
unstable/main |
aac-tactics |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Kali Linux Rolling
main |
aac-tactics |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Pardus 17
main |
aac-tactics |
8.6.1 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Raspbian Testing
main |
aac-tactics |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Trisquel 6.0
toutatis/main |
aac-tactics |
0.2.pl2 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 7.0
belenos/main |
aac-tactics |
0.4 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 8.0
flidas/main |
aac-tactics |
0.4 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org |
Trisquel 9.0
etiona/main |
aac-tactics |
8.6.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@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 22.10
kinetic/universe |
aac-tactics |
8.15.1 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |
Ubuntu 23.04
lunar/universe |
aac-tactics |
8.17.0 |
universe/math |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, jpuydt@debian.org |