Skip to content
Sections
>> Ubuntu >> Packages >> Package Search Results

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