Ubuntu – Package Search Results -- mona

» Ubuntu » Packages » Package Search Results

Search in specific suite: [lucid] [lucid-updates] [lucid-backports] [precise] [precise-updates] [precise-backports] [quantal] [quantal-updates] [quantal-backports] [raring] [raring-updates] [raring-backports] [saucy]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]

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

Exact hits

Package mona

lucid (misc): a theorem prover based on automata [universe]
1.4-13-1: amd64 i386
precise (misc): theorem prover based on automata [universe]
1.4-13-3: amd64 i386
quantal (misc): theorem prover based on automata [universe]
1.4-13-3: amd64 i386
raring (misc): theorem prover based on automata [universe]
1.4-13-3: amd64 i386

Other hits

Package fonts-mona

quantal (fonts): Japanese TrueType font for 2ch ASCII art [universe]
2.90-7: all
raring (fonts): Japanese TrueType font for 2ch ASCII art [universe]
2.90-7: all

Package fonts-monapo

precise (fonts): Japanese TrueType font, Monapo [universe]
20090423-5: all
quantal (fonts): Japanese TrueType font, Monapo [universe]
20090423-8: all
raring (fonts): Japanese TrueType font, Monapo [universe]
20090423-8: all

Package libghc-comonad-dev

precise (haskell): Haskell 98 comonads [universe]
1.1.1.1-2: amd64 i386
quantal (haskell): Haskell 98 comonads [universe]
1.1.1.5-1build3: amd64 i386
raring (haskell): Haskell 98 comonads [universe]
3.0.0.2-1: amd64 i386

Package libghc-comonad-doc

precise (doc): Haskell 98 comonads; documentation [universe]
1.1.1.1-2: all
quantal (doc): Haskell 98 comonads; documentation [universe]
1.1.1.5-1build3: all
raring (doc): Haskell 98 comonads; documentation [universe]
3.0.0.2-1: all

Package libghc-comonad-prof

precise (haskell): Haskell 98 comonads; profiling data [universe]
1.1.1.1-2: amd64 i386
quantal (haskell): Haskell 98 comonads; profiling data [universe]
1.1.1.5-1build3: amd64 i386
raring (haskell): Haskell 98 comonads; profiling data [universe]
3.0.0.2-1: amd64 i386

Package libghc-comonad-transformers-dev

precise (haskell): Haskell 98 Comonad transformers [universe]
2.0.3-1: amd64 i386
quantal (haskell): Haskell 98 Comonad transformers [universe]
2.1.1.1-1build2: amd64 i386
raring (haskell): Haskell 98 Comonad transformers [universe]
3.0.1-1: amd64 i386

Package libghc-comonad-transformers-doc

precise (doc): Haskell 98 Comonad transformers; documentation [universe]
2.0.3-1: all
quantal (doc): Haskell 98 Comonad transformers; documentation [universe]
2.1.1.1-1build2: all
raring (doc): Haskell 98 Comonad transformers; documentation [universe]
3.0.1-1: all

Package libghc-comonad-transformers-prof

precise (haskell): Haskell 98 Comonad transformers; profiling data [universe]
2.0.3-1: amd64 i386
quantal (haskell): Haskell 98 Comonad transformers; profiling data [universe]
2.1.1.1-1build2: amd64 i386
raring (haskell): Haskell 98 Comonad transformers; profiling data [universe]
3.0.1-1: amd64 i386

Package libghc-comonads-fd-dev

precise (haskell): Comonad transformers using functional dependencies [universe]
2.0.2.1-1: amd64 i386
quantal (haskell): Comonad transformers using functional dependencies [universe]
2.1.1.2-1build2: amd64 i386
raring (haskell): Comonad transformers using functional dependencies [universe]
3.0.1-1: amd64 i386

Package libghc-comonads-fd-doc

precise (doc): Comonad transformers using functional dependencies; documentation [universe]
2.0.2.1-1: all
quantal (doc): Comonad transformers using functional dependencies; documentation [universe]
2.1.1.2-1build2: all
raring (doc): Comonad transformers using functional dependencies; documentation [universe]
3.0.1-1: all

Package libghc-comonads-fd-prof

precise (haskell): Comonad transformers using functional dependencies; prof data [universe]
2.0.2.1-1: amd64 i386
quantal (haskell): Comonad transformers using functional dependencies; prof data [universe]
2.1.1.2-1build2: amd64 i386
raring (haskell): Comonad transformers using functional dependencies; prof data [universe]
3.0.1-1: amd64 i386

Package libghc-monad-control-dev

precise (haskell): Monad transformers to lift control operations [universe]
0.3.1-2: amd64 i386
quantal (haskell): Monad transformers to lift control operations [universe]
0.3.1.3-1build2: amd64 i386
raring (haskell): Monad transformers to lift control operations [universe]
0.3.1.4-1: amd64 i386

Package libghc-monad-control-doc

precise (doc): Monad transformers to lift control operations; documentation [universe]
0.3.1-2: all
quantal (doc): Monad transformers to lift control operations; documentation [universe]
0.3.1.3-1build2: all
raring (doc): Monad transformers to lift control operations; documentation [universe]
0.3.1.4-1: all

Package libghc-monad-control-prof

precise (haskell): Monad transformers to lift control operations; profiling libraries [universe]
0.3.1-2: amd64 i386
quantal (haskell): Monad transformers to lift control operations; profiling libraries [universe]
0.3.1.3-1build2: amd64 i386
raring (haskell): Monad transformers to lift control operations; profiling libraries [universe]
0.3.1.4-1: amd64 i386

Package libghc-monad-logger-dev

raring (haskell): a class of monads which can log messages [universe]
0.3.0.1-1build1: amd64 i386

Package libghc-monad-logger-doc

raring (doc): a class of monads which can log messages [universe]
0.3.0.1-1build1: all

Package libghc-monad-logger-prof

raring (haskell): a class of monads which can log messages [universe]
0.3.0.1-1build1: amd64 i386

Package libghc-monad-loops-dev

precise (haskell): monadic looping [universe]
0.3.1.1-2: amd64 i386
quantal (haskell): monadic looping [universe]
0.3.2.0-1build2: amd64 i386
raring (haskell): monadic looping [universe]
0.3.2.0-2: amd64 i386

Package libghc-monad-loops-doc

precise (doc): monadic looping; documentation [universe]
0.3.1.1-2: all
quantal (doc): monadic looping; documentation [universe]
0.3.2.0-1build2: all
raring (doc): monadic looping; documentation [universe]
0.3.2.0-2: all

Package libghc-monad-loops-prof

precise (haskell): monadic looping; profiling libraries [universe]
0.3.1.1-2: amd64 i386
quantal (haskell): monadic looping; profiling libraries [universe]
0.3.2.0-1build2: amd64 i386
raring (haskell): monadic looping; profiling libraries [universe]
0.3.2.0-2: amd64 i386

Package libghc-monad-par-dev

precise (haskell): parallel programming based on a monad [universe]
0.1.0.3-2: amd64 i386
quantal (haskell): parallel programming based on a monad [universe]
0.1.0.3-2build2: amd64 i386
raring (haskell): parallel programming based on a monad [universe]
0.1.0.3-3: amd64 i386

Package libghc-monad-par-doc

precise (doc): parallel programming based on a monad; documentation [universe]
0.1.0.3-2: all
quantal (doc): parallel programming based on a monad; documentation [universe]
0.1.0.3-2build2: all
raring (doc): parallel programming based on a monad; documentation [universe]
0.1.0.3-3: all

Package libghc-monad-par-prof

precise (haskell): parallel programming based on a monad; profiling data [universe]
0.1.0.3-2: amd64 i386
quantal (haskell): parallel programming based on a monad; profiling data [universe]
0.1.0.3-2build2: amd64 i386
raring (haskell): parallel programming based on a monad; profiling data [universe]
0.1.0.3-3: amd64 i386

Package libghc-monadcatchio-mtl-dev

precise (haskell): monad-transformer version of the Control.Exception module [universe]
0.3.0.4-2: amd64 i386
quantal (haskell): monad-transformer version of the Control.Exception module [universe]
0.3.0.4-2build2: amd64 i386
raring (haskell): monad-transformer version of the Control.Exception module [universe]
0.3.0.5-1: amd64 i386

Package libghc-monadcatchio-mtl-doc

precise (doc): monad-transformer version of the Control.Exception module; documentation [universe]
0.3.0.4-2: all
quantal (doc): monad-transformer version of the Control.Exception module; documentation [universe]
0.3.0.4-2build2: all
raring (doc): monad-transformer version of the Control.Exception module; documentation [universe]
0.3.0.5-1: all

Package libghc-monadcatchio-mtl-prof

precise (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
0.3.0.4-2: amd64 i386
quantal (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
0.3.0.4-2build2: amd64 i386
raring (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
0.3.0.5-1: amd64 i386

Package libghc-monadcatchio-transformers-dev

precise (haskell): Monad-transformer compatible with Control.Exception [universe]
0.2.2.3-2: amd64 i386
quantal (haskell): Monad-transformer compatible with Control.Exception [universe]
0.3.0.0-2build2: amd64 i386
raring (haskell): Monad-transformer compatible with Control.Exception [universe]
0.3.0.0-4: amd64 i386

Package libghc-monadcatchio-transformers-doc

precise (doc): Monad-transformer compatible with Control.Exception; documentation [universe]
0.2.2.3-2: all
quantal (doc): Monad-transformer compatible with Control.Exception; documentation [universe]
0.3.0.0-2build2: all
raring (doc): Monad-transformer compatible with Control.Exception; documentation [universe]
0.3.0.0-4: all

Package libghc-monadcatchio-transformers-prof

precise (haskell): Monad-transformer compatible with Control.Exception; profiling library [universe]
0.2.2.3-2: amd64 i386
quantal (haskell): Monad-transformer compatible with Control.Exception; profiling library [universe]
0.3.0.0-2build2: amd64 i386
raring (haskell): Monad-transformer compatible with Control.Exception; profiling library [universe]
0.3.0.0-4: amd64 i386

Package libghc-monadcryptorandom-dev

quantal (haskell): monad for using CryptoRandomGen [universe]
0.4.1-1build1: amd64 i386
raring (haskell): monad for using CryptoRandomGen [universe]
0.5-1build1: amd64 i386

Package libghc-monadcryptorandom-doc

quantal (doc): monad for using CryptoRandomGen; documentation [universe]
0.4.1-1build1: all
raring (doc): monad for using CryptoRandomGen; documentation [universe]
0.5-1build1: all

Package libghc-monadcryptorandom-prof

quantal (haskell): monad for using CryptoRandomGen; profiling libraries [universe]
0.4.1-1build1: amd64 i386
raring (haskell): monad for using CryptoRandomGen; profiling libraries [universe]
0.5-1build1: amd64 i386

Package libghc-monadrandom-dev

precise (haskell): random-number generation monad [universe]
0.1.6-2: amd64 i386
quantal (haskell): random-number generation monad [universe]
0.1.6-2build2: amd64 i386
raring (haskell): random-number generation monad [universe]
0.1.6-3: amd64 i386

Package libghc-monadrandom-doc

precise (doc): random-number generation monad; documentation [universe]
0.1.6-2: all
quantal (doc): random-number generation monad; documentation [universe]
0.1.6-2build2: all
raring (doc): random-number generation monad; documentation [universe]
0.1.6-3: all

Package libghc-monadrandom-prof

precise (haskell): random-number generation monad; profiling libraries [universe]
0.1.6-2: amd64 i386
quantal (haskell): random-number generation monad; profiling libraries [universe]
0.1.6-2build2: amd64 i386
raring (haskell): random-number generation monad; profiling libraries [universe]
0.1.6-3: amd64 i386

Package libghc-monads-tf-dev

quantal (haskell): monad classes, using type families [universe]
0.1.0.0-1build2: amd64 i386
raring (haskell): monad classes, using type families [universe]
0.1.0.1-1: amd64 i386

Package libghc-monads-tf-doc

quantal (doc): monad classes, using type families; documentation [universe]
0.1.0.0-1build2: all
raring (doc): monad classes, using type families; documentation [universe]
0.1.0.1-1: all

Package libghc-monads-tf-prof

quantal (haskell): monad classes, using type families; profiling libraries [universe]
0.1.0.0-1build2: amd64 i386
raring (haskell): monad classes, using type families; profiling libraries [universe]
0.1.0.1-1: amd64 i386

Package libghc-xmonad-contrib-dev

precise (haskell): Extensions to xmonad [universe]
0.10-3: amd64 i386
quantal (haskell): Extensions to xmonad [universe]
0.10-3build1: amd64 i386
raring (haskell): Extensions to xmonad [universe]
0.11-1: amd64 i386

Package libghc-xmonad-contrib-doc

precise (doc): Extensions to xmonad; documentation [universe]
0.10-3: all
quantal (doc): Extensions to xmonad; documentation [universe]
0.10-3build1: all
raring (doc): Extensions to xmonad; documentation [universe]
0.11-1: all

Package libghc-xmonad-contrib-prof

precise (haskell): Extensions to xmonad; profiling libraries [universe]
0.10-3: amd64 i386
quantal (haskell): Extensions to xmonad; profiling libraries [universe]
0.10-3build1: amd64 i386
raring (haskell): Extensions to xmonad; profiling libraries [universe]
0.11-1: amd64 i386

Package libghc-xmonad-dev

precise (haskell): Lightweight X11 window manager; libraries [universe]
0.10-3: amd64 i386
quantal (haskell): Lightweight X11 window manager; libraries [universe]
0.10-4build2: amd64 i386
raring (haskell): Lightweight X11 window manager; libraries [universe]
0.11-2: amd64 i386

Package libghc-xmonad-doc

precise (doc): Lightweight X11 window manager; documentation [universe]
0.10-3: all
quantal (doc): Lightweight X11 window manager; documentation [universe]
0.10-4build2: all
raring (doc): Lightweight X11 window manager; documentation [universe]
0.11-2: all

Package libghc-xmonad-prof

precise (haskell): Lightweight X11 window manager; profiling libraries [universe]
0.10-3: amd64 i386
quantal (haskell): Lightweight X11 window manager; profiling libraries [universe]
0.10-4build2: amd64 i386
raring (haskell): Lightweight X11 window manager; profiling libraries [universe]
0.11-2: amd64 i386

Package libghc6-monadcatchio-mtl-dev

lucid (haskell): monad-transformer version of the Control.Exception module [universe]
0.2.0.0-3: amd64 i386
precise (haskell): transitional dummy package [universe]
1:6: all
quantal (haskell): transitional dummy package [universe]
1:8: all

Package libghc6-monadcatchio-mtl-doc

lucid (doc): monad-transformer version of the Control.Exception module; documentation [universe]
0.2.0.0-3: all
precise (doc): transitional dummy package [universe]
1:6: all
quantal (doc): transitional dummy package [universe]
1:8: all

Package libghc6-monadcatchio-mtl-prof

lucid (haskell): monad-transformer version of the Control.Exception module; profiling libraries [universe]
0.2.0.0-3: amd64 i386
precise (haskell): transitional dummy package [universe]
1:6: all
quantal (haskell): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-contrib-dev

lucid (libdevel): Extensions to xmonad [universe]
0.9.1-1: amd64 i386
precise (libdevel): transitional dummy package [universe]
1:6: all
quantal (libdevel): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-contrib-doc

lucid (doc): Extensions to xmonad; documentation [universe]
0.9.1-1: all
precise (doc): transitional dummy package [universe]
1:6: all
quantal (doc): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-contrib-prof

lucid (libdevel): Extensions to xmonad; profiling libraries [universe]
0.9.1-1: amd64 i386
precise (haskell): transitional dummy package [universe]
1:6: all
quantal (haskell): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-dev

lucid (libdevel): A lightweight X11 window manager [universe]
0.9.1-2: amd64 i386
precise (libdevel): transitional dummy package [universe]
1:6: all
quantal (libdevel): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-doc

lucid (doc): A lightweight X11 window manager; documentation [universe]
0.9.1-2: all
precise (doc): transitional dummy package [universe]
1:6: all
quantal (doc): transitional dummy package [universe]
1:8: all

Package libghc6-xmonad-prof

lucid (libdevel): A lightweight X11 window manager; profiling libraries [universe]
0.9.1-2: amd64 i386
precise (haskell): transitional dummy package [universe]
1:6: all
quantal (haskell): transitional dummy package [universe]
1:8: all

Package monajat

lucid (utils): Islamic supplications tray applet (transitional package) [universe]
2.3.1-0ubuntu1: all
precise (utils): Islamic supplications tray applet (transitional package) [universe]
2.6.3-1: all
quantal (utils): Islamic supplications tray applet (transitional package) [universe]
2.6.3-1: all
raring (utils): Islamic supplications tray applet (transitional package) [universe]
2.6.3-1: all

Package monajat-applet

lucid (utils): Islamic supplications tray applet [universe]
2.3.1-0ubuntu1: all
precise (utils): Islamic supplications tray applet [universe]
2.6.3-1: all
quantal (utils): Islamic supplications tray applet [universe]
2.6.3-1: all
raring (utils): Islamic supplications tray applet [universe]
2.6.3-1: all

Package monajat-data

lucid (utils): Islamic supplications database [universe]
2.3.1-0ubuntu1: all
precise (utils): Islamic supplications database [universe]
2.6.3-1: all
quantal (utils): Islamic supplications database [universe]
2.6.3-1: all
raring (utils): Islamic supplications database [universe]
2.6.3-1: all

Package monajat-mod

lucid (utils): Islamic supplications console utility [universe]
2.3.1-0ubuntu1: all
precise (utils): Islamic supplications console utility [universe]
2.6.3-1: all
quantal (utils): Islamic supplications console utility [universe]
2.6.3-1: all
raring (utils): Islamic supplications console utility [universe]
2.6.3-1: all

Package monajat-screenlet

lucid (utils): Islamic supplications screenlet [universe]
2.3.1-0ubuntu1: all
precise (utils): Islamic supplications screenlet [universe]
2.6.3-1: all
quantal (utils): Islamic supplications screenlet [universe]
2.6.3-1: all
raring (utils): Islamic supplications screenlet [universe]
2.6.3-1: all

Package monav

precise (utils): metapackage for MoNav [universe]
0.3-6: amd64 i386
quantal (utils): metapackage for MoNav [universe]
0.3-6: amd64 i386
raring (utils): metapackage for MoNav [universe]
0.3-6: amd64 i386

Package monav-client

precise (utils): fast navigation system featuring exact routing - client [universe]
0.3-6: amd64 i386
quantal (utils): fast navigation system featuring exact routing - client [universe]
0.3-6: amd64 i386
raring (utils): fast navigation system featuring exact routing - client [universe]
0.3-6: amd64 i386

Package monav-data

precise (utils): fast navigation system featuring exact routing - data files [universe]
0.3-6: all
quantal (utils): fast navigation system featuring exact routing - data files [universe]
0.3-6: all
raring (utils): fast navigation system featuring exact routing - data files [universe]
0.3-6: all

Package monav-preprocessor

precise (utils): fast navigation system featuring exact routing - preprocessor [universe]
0.3-6: amd64 i386
quantal (utils): fast navigation system featuring exact routing - preprocessor [universe]
0.3-6: amd64 i386
raring (utils): fast navigation system featuring exact routing - preprocessor [universe]
0.3-6: amd64 i386

Package monav-routing-daemon

precise (utils): fast navigation system featuring exact routing - routing daemon [universe]
0.3-6: amd64 i386
quantal (utils): fast navigation system featuring exact routing - routing daemon [universe]
0.3-6: amd64 i386
raring (utils): fast navigation system featuring exact routing - routing daemon [universe]
0.3-6: amd64 i386

Package python-monajat

lucid (python): Islamic supplications backend [universe]
2.3.1-0ubuntu1: all
precise (python): Islamic supplications backend [universe]
2.6.3-1: all
quantal (python): Islamic supplications backend [universe]
2.6.3-1: all
raring (python): Islamic supplications backend [universe]
2.6.3-1: all

Package ttf-mona

lucid (x11): Japanese TrueType font for 2ch ASCII art [universe]
2.90-4: all
quantal (oldlibs): Transitional dummy package [universe]
2.90-7: all
raring (oldlibs): Transitional dummy package [universe]
2.90-7: all

Package ttf-monapo

lucid (fonts): Japanese TrueType font, Monapo [universe]
20090423-3: all
precise (fonts): transitional dummy package [universe]
20090423-5: all
quantal (fonts): transitional dummy package [universe]
20090423-8: all
raring (fonts): transitional dummy package [universe]
20090423-8: all

Package xfonts-mona

lucid (x11): Proportional X fonts for 2ch ASCII art [universe]
2.90-4: all
quantal (fonts): Proportional X fonts for 2ch ASCII art [universe]
2.90-7: all
raring (fonts): Proportional X fonts for 2ch ASCII art [universe]
2.90-7: all

Package xmonad

lucid (x11): A lightweight X11 window manager [universe]
0.9.1-2: amd64 i386
precise (x11): Lightweight X11 window manager written in Haskell [universe]
0.10-3: amd64 i386
quantal (x11): Lightweight X11 window manager written in Haskell [universe]
0.10-4build2: amd64 i386
raring (x11): Lightweight X11 window manager written in Haskell [universe]
0.11-2: amd64 i386