Versions Packages Information Related Badges Report

Versions for aac-tactics

Repository Package name Version Category Maintainer(s)
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 Stable
stable/main
aac-tactics 0.4 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
Parrot
main
aac-tactics 8.6.1 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.04
zesty/universe
aac-tactics 8.6.1 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

Absent in repositories