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.