libgfortran-4.8-dev
Runtime library for GNU Fortran applications (development files)
librelp0
Reliable Event Logging Protocol (RELP) library
RELP provides reliable event logging over the network.
language-pack-kde-nds
KDE translation meta package for language nds
libwsman-curl-client-transport1
Open Web Services Manager run-time libraries
libfloat-coq
Coq library on floating-point arithmetic
This package provides PFF (Preuves Formelles sur les Flottants =
Formal Proofs about Floats), a library for reasoning about
floating-point arithmetic in Coq. It contains both definitions and
proofs of basic facts, old & new properties and algorithms.
librtcom-telepathy-glib0
RTCom telepathy-glib extension library