v2ray
Command line tool for golang-v2ray-core
This package provides command line tool for V2Ray, which is a set of
network tools that help you to build your own computer network.
It secures your network connections and thus protects your privacy.
helpdev
Helper tool to get environment information
This package provides a tool to help users and developers to get
information about the environment to report bugs or even test your
system without spending a day on it. It can get information about
hardware, OS, paths, Python distribution and packages, including
Qt-things.
elan
tool for managing installations of the Lean theorem prover
elan is a small tool for managing your installations of the Lean theorem
prover. It places lean and leanpkg binaries in your PATH that automatically
select and, if necessary, download the Lean version described in the
lean_version field of your project's leanpkg.toml. You can also install,
select, run, and uninstall Lean versions manually using the commands of the
elan executable.
libvdestack0
network namespace as a library
By libvdestack a program can use one (or even several) private networking
protocol stack(s), thus a program can be assigned its own IP address(es),
routing etc.
libn32gcc-s1-mips64r6-cross
GCC support library (mips64r6) (n32)
Shared version of the support library, a library of internal subroutines
that GCC uses to overcome shortcomings of particular machines, or
special needs for some languages.
libocct-modeling-algorithms-7.6
Open CASCADE Technology geometrical & topological algorithms module
Open CASCADE Technology is a suite for 3D surface and solid modeling,
visualization, data exchange and rapid application development. It is an
excellent platform for development of numerical simulation software including
CAD/CAM/CAE, AEC and GIS, as well as PDM applications.