libfile-find-rule-perl
module to search for files based on rules
File::Find::Rule is a Perl module which essentially provides an easy-to-use
interface to the popular module, File::Find. It provides a way to build rules
that specify desired file and directory names using a text-globbing syntax
(provided by Text::Glob). This makes it useful for simple tasks, like finding
all ".pm" files in a given directory.
libcupt4-1
flexible package manager -- runtime library
This is a Cupt library implementing high-level package manager for Debian and
derivatives. It's written with flexibility and reliability in mind and uses
dpkg as the back-end.
libmgl-fltk7.4.0
library for scientific graphs (fltk interface for windows)
libz3-java
theorem prover from Microsoft Research - java bindings
Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.
libmgl7.4.0
library for scientific graphs (main runtime library)
golang-1.19
Go programming language compiler - metapackage
The Go programming language is an open source project to make
programmers more productive. Go is expressive, concise, clean, and
efficient. Its concurrency mechanisms make it easy to write programs
that get the most out of multicore and networked machines, while its
novel type system enables flexible and modular program construction.
Go compiles quickly to machine code yet has the convenience of
garbage collection and the power of run-time reflection. It's a
fast, statically typed, compiled language that feels like a
dynamically typed, interpreted language.