ruby-tokyocabinet
Ruby Binding of Tokyo Cabinet Database
Tokyo Cabinet is an efficient database library like GDBM and NDBM.
It features hash database and B+ tree database and is developed as the
successor of QDBM, for the purpose of the following three points: higher
processing speed, smaller size of a database file, and simpler API.
gcj-6-powerpc64le-linux-gnu
GCJ byte code and native compiler for Java(TM)
GCJ is a front end to the GCC compiler which can natively compile both
Java(tm) source and bytecode files. The compiler can also generate class
files.
python-sphinxcontrib.seqdiag
Sphinx "seqdiag" extension
This package contains the seqdiag Sphinx extension. This extension enable you
to insert sequence diagrams in your Sphinx document. This renders block
diagrams by using python-seqdiag.
libgnatprj6-armel-cross
GNU Ada compiler Project Manager (shared library)
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
libcvc3-5-jni
Java bindings for CVC3 (native library)
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories
(SMT) problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in
logical theories and their combination.
libghc-io-choice-prof
choice for IO and lifted IO; profiling libraries
io-choice provides the choice operator (||>) for the IO monad and lifted
IO monad. If an IOException occurs in the left-hand side, the right-hand
IO action is performed.