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