lib32stdc++-11-dev-x32-cross

GNU Standard C++ Library v3 (development files) (x32

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

libsmraw1t64

split RAW image format access library

libsmraw is a library to access the (split) RAW image format.

libsrpc

Sogou RPC Library (SRPC)

SRPC is an enterprise-level RPC framework widely used by Tencent, Sogou and many small and medium-sized companies. It handles hundreds of millions of requests every day, mainly from search engines. It supports two common IDLs: protobuf and thrift, and implements several commonly used rpc protocols. It is also an open source version of Tencent's enterprise-level RPC protocol, tRPC.

libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)

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.

perlimports

tool to automate the maintenance of Perl import statements

This package provides the perlimports command line interface, which automates the cleanup and maintenance of Perl use and require statements. Loosely inspired by goimports, this tool aims to be part of your linting and tidying workflow, in much the same way you might use perltidy or perlcritic.

lib64go19-powerpc-cross

Runtime library for GNU Go applications (64bit)

Library needed for GNU Go applications linked against the shared library.