Versions Packages Information History Related Badges Report

Versions for aac-tactics

Repository Package name Version Category Maintainer(s)
Debian Oldstable
oldstable/main
aac-tactics 0.4 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Debian Stable
stable/main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Debian Testing
testing/main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Debian Unstable
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Deepin
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Devuan Oldstable
oldstable/main
aac-tactics 0.4 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Devuan Stable
stable/main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Devuan Testing
testing/main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Devuan Unstable
unstable/main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Kali Linux Rolling
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Pardus
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Parrot
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
PureOS green aac-tactics 8.6.1 misc debian-ocaml-maint@lists.debian.org, glondu@debian.org
PureOS landing aac-tactics 8.6.1 misc debian-ocaml-maint@lists.debian.org, glondu@debian.org
Raspbian Oldstable
main
aac-tactics 0.4 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Raspbian Stable
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Raspbian Testing
main
aac-tactics 8.6.1 math debian-ocaml-maint@lists.debian.org, glondu@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
Ubuntu 12.04
precise/universe
aac-tactics 0.2.pl2 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 17.10
artful/universe
aac-tactics 8.6.1 universe/math glondu@debian.org, ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.04
bionic/universe
aac-tactics 8.6.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 18.10
cosmic/universe
aac-tactics 8.6.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org

Absent in repositories