Versions Packages Information History Badges Report

Versions for aac-tactics

23 package(s) known

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 Unstable
main		 aac-tactics 8.8.0 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 Unstable
unstable/main		 aac-tactics 8.8.0 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
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
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 ubuntu-devel-discuss@lists.ubuntu.com, 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 18.10
cosmic/universe		 aac-tactics 8.6.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 19.04
disco/universe		 aac-tactics 8.6.1 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org
Ubuntu 19.04 Proposed
disco-proposed/universe		 aac-tactics 8.8.0 universe/math debian-ocaml-maint@lists.debian.org, glondu@debian.org

Absent in repositories

  • Adélie Linux current
  • AIX Open Source Packages
  • Alpine Linux Edge
  • ALT Sisyphus
  • Antergos Main
  • Antergos Staging
  • antiX-16
  • antiX-17
  • AOSC
  • Arch
  • Arch Testing
  • AUR
  • Astra Orel Stable
  • Astra Orel Current
  • BlackArch
  • Buckaroo
  • BunsenLabs Hydrogen
  • BunsenLabs Hydrogen/Jessie Backports
  • BunsenLabs Helium
  • BunsenLabs Helium/Stretch Backports
  • Calculate
  • CentOS 6
  • CentOS 7
  • Chocolatey
  • CPAN
  • MetaCPAN
  • CRAN
  • crates.io
  • CRUX 3.2
  • CRUX 3.3
  • CRUX 3.4
  • CRUX 3.5
  • Deb Multimedia Unstable
  • Debian Oldstable Backports
  • Debian Stable Backports
  • Debian Testing
  • Debian Experimental
  • Devuan Testing
  • DistroWatch.com
  • DPorts
  • Entware
  • EPEL 6
  • EPEL 7
  • Exherbo
  • F-Droid
  • Fedora 26
  • Fedora 27
  • Fedora 28
  • Fedora 29
  • Fedora Rawhide
  • FreeBSD Ports
  • freshcode.club
  • Funtoo 1.3
  • Gentoo
  • Gentoo overlay Pentoo
  • GetDeb Xenial
  • GetDeb Xenial Testing
  • GetDeb Yakkety
  • GetDeb Yakkety Testing
  • GetDeb Zesty
  • GetDeb Zesty Testing
  • GNU Guix
  • GoboLinux
  • Hackage
  • HaikuPorts master
  • Homebrew
  • Homebrew tap Brewsci/bio
  • HP-UX 11.31
  • Hyperbola
  • Kali Linux Rolling
  • KaOS
  • KaOS Build
  • KDE neon Dev Stable
  • KDE neon Dev Unstable
  • KDE neon User
  • KDE neon User LTS
  • Libregamewiki
  • Linux Mint 17
  • Linux Mint 17.1
  • Linux Mint 17.2
  • Linux Mint 17.3
  • Linux Mint 18
  • Linux Mint 18.1
  • Linux Mint 18.2
  • Linux Mint 18.3
  • Linux Mint 19
  • Linux Mint 19.1
  • Linuxbrew
  • MacPorts
  • Maemo Fremantle
  • Mageia 6
  • Mageia Cauldron
  • Manjaro Stable
  • Manjaro Testing
  • Manjaro Unstable
  • MSYS2 mingw
  • MSYS2 msys2
  • MX Linux MX-15
  • MX Linux MX-15 Testing
  • MX Linux MX-16
  • MX Linux Stretch
  • MX Linux Stretch Testing
  • nixpkgs stable
  • nixpkgs unstable
  • OpenBSD Ports
  • OpenIndiana packages
  • OpenMandriva 3.x
  • OpenMandriva Cooker
  • OpenPKG
  • openSUSE Games Tumbleweed
  • openSUSE Leap 42.3
  • openSUSE Leap 15.0
  • openSUSE Leap 15.1
  • openSUSE Tumbleweed
  • OpenWrt 18.06.01 x86
  • PackMan openSUSE Leap 42.3
  • PackMan openSUSE Leap 15.0
  • PackMan openSUSE Tumbleweed
  • PackMan SLE 12
  • PackMan SLE 15
  • Parabola
  • Parabola Testing
  • PCLinuxOS
  • Pisi Linux
  • Pisi Linux Contrib
  • pkgsrc current
  • PlayDeb Xenial
  • PlayDeb Xenial Testing
  • PlayDeb Yakkety
  • PlayDeb Yakkety Testing
  • PlayDeb Zesty
  • PlayDeb Zesty Testing
  • PLD Linux
  • PureOS green
  • PureOS landing
  • Raspbian Testing
  • Ravenports
  • ReactOS rapps
  • Rosa 2014.1
  • Rosa 2016.1
  • Rosa Server 6.9
  • Rosa Server 7.3
  • RPM Fusion EL 6
  • RPM Fusion EL 7
  • RPM Fusion Fedora 26
  • RPM Fusion Fedora 27
  • RPM Fusion Fedora 28
  • RPM Fusion Fedora 29
  • RPM Fusion Fedora Rawhide
  • RubyGems
  • Sabayon
  • Sabayon for-gentoo
  • Salix 14.2
  • Scientific Linux 7.x
  • Scoop
  • SlackBuilds
  • Slackware 14.2
  • Slackware current
  • Slackware64 14.2
  • Slackware64 current
  • Slackwarearm 14.2
  • Slackwarearm current
  • SliTaz Cooking
  • SliTaz Next
  • Solus
  • Sparky
  • Stackage LTS Haskell
  • Stackage Nightly
  • SteamOS alchemist
  • SteamOS alchemist beta
  • SteamOS brewmaster
  • SteamOS brewmaster beta
  • T2 SDE
  • Tails stable
  • Tails devel
  • Termux
  • Trisquel 6.0 backports
  • Trisquel 7.0 backports
  • Trisquel 8.0 backports
  • Ubuntu 12.04 Backports
  • Ubuntu 14.04 Backports
  • Ubuntu 16.04 Backports
  • Ubuntu 17.10 Backports
  • Ubuntu 18.04 Backports
  • Ubuntu 18.10 Backports
  • Ubuntu 19.04 Backports
  • UnitedRPMs Fedora 28
  • UnitedRPMs Fedora 29
  • UnitedRPMs Fedora 30
  • Vcpkg
  • Void Linux x86_64
  • Whonix
  • Whonix Developers
  • Wikidata
  • YACP