package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

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

Exact hits

Package why

• lenny (stable) (math): A software verification tool
  2.13-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• squeeze (testing) (math): A software verification tool
  2.19+dfsg-2: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (math): A software verification tool
  2.19+dfsg-2: alpha amd64 armel hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
  2.13-2 [debports]: m68k

Other hits

Package libwhy-coq

• squeeze (testing) (libdevel): Why library for Coq
  2.19+dfsg-2: all
• sid (unstable) (libdevel): Why library for Coq
  2.19+dfsg-2: all

Package why-examples

• squeeze (testing) (doc): Examples of programs certified with Why
  2.19+dfsg-2: all
• sid (unstable) (doc): Examples of programs certified with Why
  2.19+dfsg-2: all

Package whysynth

• squeeze (testing) (sound): DSSI Soft Synth Interface
  20090403-1: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (sound): DSSI Soft Synth Interface
  20090403-1: alpha amd64 armel hppa i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc