postgresql-14-pgtap

Unit testing framework extension for PostgreSQL 14

pgTAP is a suite of database functions that make it easy to write TAP-emitting unit tests in psql scripts suitable for harvesting, analysis, and reporting by a TAP harness, such as those used in Perl and PHP applications.

libslepc64-complex3.16

Scalable Library for Eigenvalue Problem Computations (64-bit)

SLEPc is a software library for the solution of large scale sparse eigenvalue problems on parallel computers. It is an extension of PETSc and can be used for either standard or generalized eigenproblems, with real or complex arithmetic. It can also be used for computing a partial SVD of a large, sparse, rectangular matrix.

libslepc64-real3.16

Scalable Library for Eigenvalue Problem Computations (64-bit)

SLEPc is a software library for the solution of large scale sparse eigenvalue problems on parallel computers. It is an extension of PETSc and can be used for either standard or generalized eigenproblems, with real or complex arithmetic. It can also be used for computing a partial SVD of a large, sparse, rectangular matrix.

gir1.2-mutter-10

GObject introspection data for Mutter

Mutter is a Wayland display server and X11 window manager and compositor library. It contains functionality related to, among other things, window management, window compositing, focus tracking, workspace management, keybindings and monitor configuration.

nwg-look

GTK3 settings editor for wlroots environments like Sway

Nwg-look is a GTK3 settings editor, designed to work properly in wlroots-based Wayland environment. The look and feel is strongly influenced by LXAppearance, but nwg-look is intended to free the user from a few inconveniences: - It works natively on Wayland. You no longer need Xwayland, nor strange env variables for it to run. - It applies gsettings directly, with no need to use workarounds. You don't need to set gsettings in the sway config file. You don't need the `import-gsettings` script.

w3c-linkchecker

tool to verify the links in a web page are still valid

The checklink tool is a program that reads an HTML or XHTML document, extracts a list of anchors and links and checks that no anchor is defined twice and that all the links are dereferenceable, including the fragments. It warns about HTTP redirects, including directory redirects, and can check recursively a part of a web site. The program can be used either as a command line tool or as a CGI script. The official site is available as https://validator.w3.org/checklink .