This is a staging site. Uploads will not persist. Testing only.

gobjc-11-multilib-mips64el-linux-gnuabi64

GNU Objective-C compiler (multilib support) (cross compiler for mips64el archite

This is the GNU Objective-C compiler, which compiles Objective-C on platforms supported by the gcc compiler.

elpa-popon

Pop floating text on an Emacs window

Popon allows you to pop text on a window, what is called a popon. Popons are window-local and sticky, they don't move while scrolling, and they even don't go away when switching buffer, but you can bind a popon to a specific buffer to only show on that buffer.

libgirara-gtk3-4

library for minimalistic user interfaces (shared libraries)

A library focused at implementing minimalistic user interfaces. It provides three main components: a view widget that represents the actual application, an input bar to execute application specific commands and a status bar which provides information to the user.

chuffed-flatzinc

lazy clause generation FlatZinc implememntation

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability. It combines some of the advantages of finite domain constraint programming (high level model and programmable search) with some of the advantages of SAT solvers (reduced search by nogood creation, and effective autonomous search using variable activities).

mdnsd

embeddable Multicast DNS Daemon

This is a standalone mDNS-SD daemon for small systems. Although still limited in functionality it can announce services like FTP, HTTP, and SSH and respond to scanning (enumeration) requests from tools like mdns-scan.

libmozilla-publicsuffix-perl

Perl interface to the Mozilla Public Suffix List

Mozilla::PublicSuffix provides a single function that returns the public suffix of a domain name by referencing a parsed copy of Mozilla's Public Suffix List. From the official website at https://publicsuffix.org/: