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.