gcc-12-riscv64-linux-gnu
GNU C compiler (cross compiler for riscv64 architecture)
This is the GNU C compiler, a fairly portable optimizing compiler for C.
gcc-12-sh4-linux-gnu
GNU C compiler (cross compiler for sh4 architecture)
This is the GNU C compiler, a fairly portable optimizing compiler for C.
gcc-12-sh4-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).
libcoq-mathcomp-character
Mathematical Components library for Coq (character)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
libgnuradio-network3.10.5
gnuradio network library
Library of blocks that implement UDP and TCP source and
sink blocks supporting both IPv4 and IPv6.
Part of the main gnuradio build.
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.