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)