php5.6-readline
readline module for PHP
libgo9-alpha-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
gfortran-4.9-multilib-powerpc-linux-gnu
GNU Fortran compiler (multilib support)
libmathcomp-coq
Mathematical Components library for Coq (theories)
The Mathematical Components library is an extensive library of
formalized mathematics built using the Ssreflect extension for
the Coq system.
galette-plugin-fullcard
Membership card plugin for Galette
Galette is a web application for French-speaking associations that
want to manage their list of members online.
libisds-dbg
Library for accessing the Czech Data Boxes (debugging symbols)