whichman
Fault tolerant search utilities: whichman, ftff, ftwhich
whichman uses a fault tolerant approximate matching algorithm to search
for man-pages that match approximately the specified name.
The fault tolerant matching is very useful in cases where you remember only
roughly the name of a command.
libeclipse-e4-ui-dialogs-java
Eclipse e4 dialogs
The Eclipse Platform UI project is responsible for the runtime, user interface
and help components of Eclipse. Platform UI provides the basic building blocks
to create the Eclipse IDE and other Eclipse based applications called Rich
Client Platform (RCP).
regina-normal-mpi
MPI utilities for Regina, the topology software
Regina is a software package for low-dimensional topologists. This package
contains the components of Regina designed to run large parallel computations
on a high-performance cluster using MPI.
why
Software verification tool for C and Java
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
wide-dhcpv6-client
DHCPv6 client for automatic IPv6 hosts configuration
This is the DHCPv6 client from WIDE project.
fpdns
remotely determine DNS server version
A nameserver basically responds to a query. Interoperability is an
obvious requirement here. The standard protocol behaviour of different
DNS implementations is expected to be the same.