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.