package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

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

Exact hits

Package mona

• etch (oldstable) (misc): a theorem prover based on automata
  1.4-7-4+b1: hppa
  1.4-7-4: alpha amd64 arm i386 ia64 mips mipsel powerpc s390 sparc
• etch-m68k (misc): a theorem prover based on automata
  1.4-7-4: m68k
• lenny (stable) (misc): a theorem prover based on automata
  1.4-10-1: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• squeeze (testing) (math): a theorem prover based on automata
  1.4-13-1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (math): a theorem prover based on automata
  1.4-13-1: alpha amd64 armel avr32 hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
  1.4-10-1 [debports]: m68k

Other hits

Package libghc6-monadcatchio-mtl-dev

• sid (unstable) (haskell): monad-transformer version of the Control.Exception module
  0.1.0.1-1+b4: armel
  0.1.0.1-1+b2: powerpc sparc
  0.1.0.1-1+b1: alpha amd64 hppa i386 mips mipsel s390
  0.1.0.1-1: kfreebsd-i386

Package libghc6-monadcatchio-mtl-doc

• sid (unstable) (doc): monad-transformer version of the Control.Exception module; documentation
  0.1.0.1-1: all

Package libghc6-monadcatchio-mtl-prof

• sid (unstable) (haskell): monad-transformer version of the Control.Exception module; profiling libraries
  0.1.0.1-1+b4: armel
  0.1.0.1-1+b2: powerpc sparc
  0.1.0.1-1+b1: alpha amd64 hppa i386 mips mipsel s390
  0.1.0.1-1: kfreebsd-i386

Package libghc6-xmonad-contrib-dev

• lenny (stable) (libdevel): Extensions to xmonad
  0.7-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc sparc
• lenny-backports (libdevel): Extensions to xmonad
  0.8-5~bpo50+1 [backports]: alpha amd64 arm armel i386 ia64 powerpc s390 sparc
• squeeze (testing) (haskell): Extensions to xmonad
  0.8-5: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (haskell): Extensions to xmonad
  0.9-1: alpha amd64 armel i386 kfreebsd-i386 mipsel powerpc s390 sparc
  0.8.1-3: hppa mips
  0.8-5: ia64
  0.8-3: hurd-i386

Package libghc6-xmonad-contrib-doc

• lenny (stable) (doc): Extensions to xmonad; documentation
  0.7-2: all
• lenny-backports (doc): Extensions to xmonad; documentation
  0.8-5~bpo50+1 [backports]: all
• squeeze (testing) (doc): Extensions to xmonad; documentation
  0.8-5: all
• sid (unstable) (doc): Extensions to xmonad; documentation
  0.9-1: all

Package libghc6-xmonad-contrib-prof

• lenny (stable) (libdevel): Extensions to xmonad; profiling libraries
  0.7-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc sparc
• lenny-backports (libdevel): Extensions to xmonad; profiling libraries
  0.8-5~bpo50+1 [backports]: alpha amd64 arm armel i386 ia64 powerpc s390 sparc
• squeeze (testing) (haskell): Extensions to xmonad; profiling libraries
  0.8-5: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (haskell): Extensions to xmonad; profiling libraries
  0.9-1: alpha amd64 armel i386 kfreebsd-i386 mipsel powerpc s390 sparc
  0.8.1-3: hppa mips
  0.8-5: ia64
  0.8-3: hurd-i386

Package libghc6-xmonad-dev

• lenny (stable) (libdevel): A lightweight X11 window manager
  0.7-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• lenny-backports (libdevel): A lightweight X11 window manager
  0.8-1~bpo50+1 [backports]: alpha amd64 arm armel hppa i386 ia64 powerpc s390 sparc
• squeeze (testing) (haskell): A lightweight X11 window manager
  0.8-1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (haskell): A lightweight X11 window manager
  0.9-1: alpha amd64 armel hppa i386 kfreebsd-i386 mips mipsel powerpc s390 sparc
  0.8-1: hurd-i386 ia64

Package libghc6-xmonad-doc

• lenny (stable) (doc): A lightweight X11 window manager; documentation
  0.7-2: all
• lenny-backports (doc): A lightweight X11 window manager; documentation
  0.8-1~bpo50+1 [backports]: all
• squeeze (testing) (doc): A lightweight X11 window manager; documentation
  0.8-1: all
• sid (unstable) (doc): A lightweight X11 window manager; documentation
  0.9-1: all

Package libghc6-xmonad-prof

• lenny (stable) (libdevel): A lightweight X11 window manager; profiling libraries
  0.7-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• lenny-backports (libdevel): A lightweight X11 window manager; profiling libraries
  0.8-1~bpo50+1 [backports]: alpha amd64 arm armel hppa i386 ia64 powerpc s390 sparc
• squeeze (testing) (haskell): A lightweight X11 window manager; profiling libraries
  0.8-1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (haskell): A lightweight X11 window manager; profiling libraries
  0.9-1: alpha amd64 armel hppa i386 kfreebsd-i386 mips mipsel powerpc s390 sparc
  0.8-1: hurd-i386 ia64

Package ttf-mona

• lenny (stable) (x11): Japanese TrueType font for 2ch ASCII art
  2.90-2: all
• squeeze (testing) (fonts): Japanese TrueType font for 2ch ASCII art
  2.90-4: all
• sid (unstable) (fonts): Japanese TrueType font for 2ch ASCII art
  2.90-4: all

Package ttf-monapo

• squeeze (testing) (fonts): Japanese TrueType font, Monapo
  20090423-2: all
• sid (unstable) (fonts): Japanese TrueType font, Monapo
  20090423-2: all

Package xfonts-mona

• etch (oldstable) (x11): proportional fonts for 2ch ASCII art
  2.21-4: all
• etch-m68k (x11): proportional fonts for 2ch ASCII art
  2.21-4: all
• lenny (stable) (x11): proportional fonts for 2ch ASCII art
  2.90-2: all
• squeeze (testing) (fonts): Proportional X fonts for 2ch ASCII art
  2.90-4: all
• sid (unstable) (fonts): Proportional X fonts for 2ch ASCII art
  2.90-4: all

Package xmonad

• lenny (stable) (x11): A lightweight X11 window manager
  0.7-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• lenny-backports (x11): A lightweight X11 window manager
  0.8-1~bpo50+1 [backports]: alpha amd64 arm armel hppa i386 ia64 powerpc s390 sparc
• squeeze (testing) (x11): A lightweight X11 window manager
  0.8-1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (x11): A lightweight X11 window manager
  0.9-1: alpha amd64 armel hppa i386 kfreebsd-i386 mips mipsel powerpc s390 sparc
  0.8-1: hurd-i386 ia64