libclang1-16t64

C interface to the Clang library

Clang project is a C, C++, Objective C and Objective C++ front-end based on the LLVM compiler. Its goal is to offer a replacement to the GNU Compiler Collection (GCC).

spark

SPARK programming language toolset

SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety or for business integrity.

libjs-asciimathml

Library to render high quality mathematical formulas in a browser

ASCIIMathML is a set of JavaScript functions to convert ASCII math notation and LaTeX to Presentation MathML. Simple graphics commands are also translated to SVG images. ASCIIMathML is designed to be very easy to use and mimic to a great extent the way that one would use to type mathematical formulas by means like e-mail.

trac-privateticketsplugin

transitional dummy package for trac-privatetickets

The package `trac-privateticketsplugin` has been renamed to `trac-prievatetickets`.

libqgis-gui2.18.22

QGIS - shared gui library

node-har-validator

Extremely fast HTTP Archive (HAR) validator using JSON Schema

HTTP Archive (HAR) format defines an archival format for HTTP transactions that can be used by a web browser to export detailed performance data about web pages it loads.