libwget2t64

Download library for files and recursive websites

GNU Wget is a network utility to retrieve files from the web using HTTP(S) and FTP, the two most widely used internet protocols. It works non-interactively, so it will work in the background, after having logged off. The program supports recursive retrieval of web-authoring pages as well as FTP sites -- you can use Wget to make mirrors of archives and home pages or to travel the web like a WWW robot.

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.