vmware-manager
utility to manage VMware virtual machines
This package provides vwm, a command-line tool for managing VMware
virtual machines. This is primarily useful for larger installations
where virtuals need to be migrated, cloned or otherwise modified
from the command line.
gcj-4.8-jre
Java runtime environment using GIJ/Classpath
libghc-project-template-prof
specify Haskell project templates and generate files; profiling libraries
Framework for project templates/scaffolding.
chocolate-hexen
Hexen engine closely-compatible with Vanilla Hexen
Chocolate Doom aims to accurately reproduce the original DOS version of
Doom and other games based on the Doom engine in a form that can be
run on modern computers. Unlike most modern Doom engines, Chocolate Doom
is not derived from the Boom source port and does not inherit its
features (or bugs).
libcoq-deriving
deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
libcoq-extructures
data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and
other data structures with extensional reasoning.