Versions Packages Information History Related Badges Report

Versions for aac-tactics

23 package(s) known

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