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.