skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / Package Search Results

Limit to suite: [squeeze] [squeeze-updates] [squeeze-backports] [wheezy] [sid] [experimental]

Limit to a architecture: [alpha] [amd64] [arm] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-i386] [kfreebsd-amd64] [m68k] [mips] [mipsel] [powerpc] [powerpcspe] [s390] [s390x] [sh4] [sparc] [sparc64]

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

Exact hits

Package otter

• squeeze (stable) (math): resolution-style theorem prover
  3.3f-1: amd64 armel i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
• wheezy (testing) (math): resolution-style theorem prover
  3.3f-1.1: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc
• sid (unstable) (math): resolution-style theorem prover
  3.3f-1.1+b1: hurd-i386
  3.3f-1.1 [debports]: alpha amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc sparc64
  3.3f-1+b100 [debports]: powerpcspe
  3.3f-1 [debports]: avr32 hppa m68k

Other hits

Package acedb-other-dotter

• wheezy (testing) (science): visualisation of sequence similarity
  4.9.39+dfsg.01-5: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc
• sid (unstable) (science): visualisation of sequence similarity
  4.9.39+dfsg.01-5: alpha amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc sparc64
  4.9.39+dfsg.01-2 [debports]: hppa powerpcspe

Package libjas-plotter-java

• squeeze (stable) (java): JAS(2) Plotter graphic library
  2.2.6+dfsg1-1: all
• wheezy (testing) (java): JAS(2) Plotter graphic library
  2.2.6+dfsg1-2: all
• sid (unstable) (java): JAS(2) Plotter graphic library
  2.2.6+dfsg1-2: all

Package libksignalplotter4

• squeeze (stable) (libs): the KSignalPlotter widget
  4:4.4.5-7+squeeze1: amd64 armel i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
• wheezy (testing) (libs): KSignalPlotter widget
  4:4.7.4-2+b1: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc
• sid (unstable) (libs): KSignalPlotter widget
  4:4.7.4-2+b2: hurd-i386
  4:4.7.4-2+b1: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc
  4:4.7.4-2 [debports]: alpha sh4
  4:4.4.5-8: hppa
• experimental (rc-buggy) (libs): KSignalPlotter widget
  4:4.8.3-1: amd64 i386 ia64 kfreebsd-i386 powerpc s390 s390x

Package rotter

• squeeze (stable) (sound): JACK client for transmission recording and audio logging
  0.8-3+b1: amd64 armel i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel s390
  0.8-3: powerpc sparc
• wheezy (testing) (sound): JACK client for transmission recording and audio logging
  0.9-3: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc
• sid (unstable) (sound): JACK client for transmission recording and audio logging
  0.9-3+b1: hurd-i386
  0.9-3 [debports]: alpha amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc powerpcspe s390 s390x sh4 sparc sparc64
  0.9-2: hppa
  0.8-3 [debports]: avr32