Versions Packages Information History Badges Report

Versions for maude

54 package(s) known

Repository Package name Version Category Maintainer(s)
Arch
community
maude 3.1 - -
Debian 8
jessie/main
maude 2.6 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Debian 9
stretch/main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Debian 10
buster/main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Debian 11
bullseye/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Debian 12
bookworm/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Debian Unstable
sid/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Deepin
main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Devuan 1.0
jessie/main
maude 2.6 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Devuan 2.0
ascii/main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Devuan 3.0
beowulf/main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Devuan 4.0
chimaera/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Devuan Unstable
unstable/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
DPorts lang/maude 2.7.1 lang greg@unrelenting.technology
FreeBSD Ports lang/maude 2.7.1 lang greg@unrelenting.technology
Funtoo 1.4
lang-kit
dev-lang/maude 2.7 dev-lang sci@gentoo.org
Gentoo dev-lang/maude 3.1 dev-lang sci@gentoo.org
Kali Linux Rolling
main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
LiGurOS stable dev-lang/maude 3.1 dev-lang sci@gentoo.org
LiGurOS develop dev-lang/maude 3.1 dev-lang sci@gentoo.org
MacPorts Maude 2.7.1 lang nomaintainer@macports.org
Manjaro Stable
community
maude 3.1 - -
Manjaro Testing
community
maude 3.1 - -
Manjaro Unstable
community
maude 3.1 - -
nixpkgs stable 21.05 maude 3.1 - simons@cryp.to
nixpkgs stable 21.11 maude 3.1 - simons@cryp.to
nixpkgs unstable maude 3.1 - simons@cryp.to
Parabola
community
maude 3.1 - -
Pardus 17
main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Pardus 19
main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Pardus 21
main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Parrot LTS
lts-updates/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Parrot LTS
lts/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Parrot Rolling
rolling/main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
pkgsrc current lang/maude 2.6 lang kristerw@netbsd.org
PureOS Amber maude 2.7 misc debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
PureOS landing maude 3.1 misc debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Raspbian Oldstable
main
maude 2.7 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Raspbian Stable
main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Raspbian Testing
main
maude 3.1 science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
RPM Sphere maude 3.1 science -
SlackBuilds development/maude 2.7.1 development roberto@metere.it
Trisquel 6.0
toutatis/main
maude 2.6 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Trisquel 7.0
belenos/main
maude 2.6 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Trisquel 8.0
flidas/main
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Trisquel 9.0
etiona/main
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Trisquel 10.0
nabia/main
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 14.04
trusty/universe
maude 2.6 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 16.04
xenial/universe
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 18.04
bionic/universe
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 20.04
focal/universe
maude 2.7 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 21.04
hirsute/universe
maude 3.1 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 21.10
impish/universe
maude 3.1 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org
Ubuntu 22.04
jammy/universe
maude 3.1 universe/science debian-med-packaging@lists.alioth.debian.org, schristley@mac.com, tille@debian.org