libhdfeos5-ruby1.9.1-dbg
Transitional package for ruby-hdfeos5-dbg
simgear-dev
transitional dummy package
xine-console
xine video player, console user interface
xine-ui is a frontend for the libxine video player library.
libspring-test-java
modular Java/J2EE application framework - Test helpers
Spring is a layered Java/J2EE application framework offering a lot of freedom
to Java developers yet providing well documented and easy-to-use solutions for
common practices in the industry.
r-cran-tensor
GNU R Tensor product of arrays
The tensor product of two arrays is notionally an outer product of the
arrays collapsed in specific extents by summing along the appropriate
diagonals.
libaac-tactics-coq
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.