You have searched for packages that names contain mona in all suites, all sections, and all architectures. Found 15 matching packages.

Exact hits

Package mona

• dapper (misc): a theorem prover based on automata [universe]
  1.4-7-4: amd64 i386 powerpc
• hardy (misc): a theorem prover based on automata [universe]
  1.4-8-1: amd64 i386
• intrepid (misc): a theorem prover based on automata [universe]
  1.4-10-1: amd64 i386
• jaunty (misc): a theorem prover based on automata [universe]
  1.4-10-1: amd64 i386
• karmic (misc): a theorem prover based on automata [universe]
  1.4-10-1: amd64 i386
• lucid (misc): a theorem prover based on automata [universe]
  1.4-13-1: amd64 i386

Other hits

Package libghc6-monadcatchio-mtl-dev

• karmic (haskell): monad-transformer version of the Control.Exception module [universe]
  0.1.0.1-1: amd64 i386
• lucid (haskell): monad-transformer version of the Control.Exception module [universe]
  0.1.0.1-1: amd64 i386

Package libghc6-monadcatchio-mtl-doc

• karmic (doc): monad-transformer version of the Control.Exception module; documentation [universe]
  0.1.0.1-1: all
• lucid (doc): monad-transformer version of the Control.Exception module; documentation [universe]
  0.1.0.1-1: all

Package libghc6-monadcatchio-mtl-prof

• karmic (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
  0.1.0.1-1: amd64 i386
• lucid (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
  0.1.0.1-1: amd64 i386

Package libghc6-xmonad-contrib-dev

• hardy (libdevel): Extensions to xmonad [universe]
  0.6-4: amd64 i386
• hardy-backports (libdevel): Extensions to xmonad [universe]
  0.7-1~hardy1: amd64 i386
• intrepid (libdevel): Extensions to xmonad [universe]
  0.8-2: amd64 i386
• jaunty (libdevel): Extensions to xmonad [universe]
  0.8-5ubuntu1: amd64 i386
• karmic (libdevel): Extensions to xmonad [universe]
  0.8.1-3build2: amd64 i386
• lucid (libdevel): Extensions to xmonad [universe]
  0.8.1-3build2: amd64 i386

Package libghc6-xmonad-contrib-doc

• hardy (doc): Extensions to xmonad; documentation [universe]
  0.6-4: all
• hardy-backports (doc): Extensions to xmonad; documentation [universe]
  0.7-1~hardy1: all
• intrepid (doc): Extensions to xmonad; documentation [universe]
  0.8-2: all
• jaunty (doc): Extensions to xmonad; documentation [universe]
  0.8-5ubuntu1: all
• karmic (doc): Extensions to xmonad; documentation [universe]
  0.8.1-3build2: all
• lucid (doc): Extensions to xmonad; documentation [universe]
  0.8.1-3build2: all

Package libghc6-xmonad-contrib-prof

• hardy (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.6-4: amd64 i386
• hardy-backports (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.7-1~hardy1: amd64 i386
• intrepid (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.8-2: amd64 i386
• jaunty (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.8-5ubuntu1: amd64 i386
• karmic (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.8.1-3build2: amd64 i386
• lucid (libdevel): Extensions to xmonad; profiling libraries [universe]
  0.8.1-3build2: amd64 i386

Package libghc6-xmonad-dev

• hardy (libdevel): A lightweight X11 window manager [universe]
  0.6-3: amd64 i386
• hardy-backports (libdevel): A lightweight X11 window manager [universe]
  0.7-1~hardy1: amd64 i386
• intrepid (libdevel): A lightweight X11 window manager [universe]
  0.8-1: amd64 i386
• jaunty (libdevel): A lightweight X11 window manager [universe]
  0.8-1: amd64 i386
• karmic (libdevel): A lightweight X11 window manager [universe]
  0.8.1-5: amd64 i386
• lucid (libdevel): A lightweight X11 window manager [universe]
  0.8.1-5: amd64 i386

Package libghc6-xmonad-doc

• hardy (doc): A lightweight X11 window manager; documentation [universe]
  0.6-3: all
• hardy-backports (doc): A lightweight X11 window manager; documentation [universe]
  0.7-1~hardy1: all
• intrepid (doc): A lightweight X11 window manager; documentation [universe]
  0.8-1: all
• jaunty (doc): A lightweight X11 window manager; documentation [universe]
  0.8-1: all
• karmic (doc): A lightweight X11 window manager; documentation [universe]
  0.8.1-5: all
• lucid (doc): A lightweight X11 window manager; documentation [universe]
  0.8.1-5: all

Package libghc6-xmonad-prof

• hardy (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.6-3: amd64 i386
• hardy-backports (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.7-1~hardy1: amd64 i386
• intrepid (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.8-1: amd64 i386
• jaunty (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.8-1: amd64 i386
• karmic (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.8.1-5: amd64 i386
• lucid (libdevel): A lightweight X11 window manager; profiling libraries [universe]
  0.8.1-5: amd64 i386

Package monajat

• karmic (utils): Utilizes popups to display supplications periodically [universe]
  1.2-0ubuntu1: all
• lucid (utils): Utilizes popups to display supplications periodically [universe]
  1.2-0ubuntu1: all

Package ttf-mona

• hardy (x11): Japanese TrueType font for 2ch ASCII art [universe]
  2.90-2: all
• intrepid (x11): Japanese TrueType font for 2ch ASCII art [universe]
  2.90-2: all
• jaunty (x11): Japanese TrueType font for 2ch ASCII art [universe]
  2.90-2: all
• karmic (x11): Japanese TrueType font for 2ch ASCII art [universe]
  2.90-2: all
• lucid (x11): Japanese TrueType font for 2ch ASCII art [universe]
  2.90-4: all

Package ttf-monapo

• lucid (fonts): Japanese TrueType font, Monapo [universe]
  20090423-2: all

Package xfonts-mona

• dapper (x11): proportional fonts for 2ch ASCII art [universe]
  2.21-3ubuntu1: all
• hardy (x11): proportional fonts for 2ch ASCII art [universe]
  2.90-2: all
• intrepid (x11): proportional fonts for 2ch ASCII art [universe]
  2.90-2: all
• jaunty (x11): proportional fonts for 2ch ASCII art [universe]
  2.90-2: all
• karmic (x11): proportional fonts for 2ch ASCII art [universe]
  2.90-2: all
• lucid (x11): Proportional X fonts for 2ch ASCII art [universe]
  2.90-4: all

Package xmonad

• hardy (x11): A lightweight X11 window manager [universe]
  0.6-3: amd64 i386
• hardy-backports (x11): A lightweight X11 window manager [universe]
  0.7-1~hardy1: amd64 i386
• intrepid (x11): A lightweight X11 window manager [universe]
  0.8-1: amd64 i386
• jaunty (x11): A lightweight X11 window manager [universe]
  0.8-1: amd64 i386
• karmic (x11): A lightweight X11 window manager [universe]
  0.8.1-5: amd64 i386
• lucid (x11): A lightweight X11 window manager [universe]
  0.8.1-5: amd64 i386