libtrilinos-epetraext-13.2
extensions to the Epetra toolkit - runtime files
EpetraExt provides tools and functions that make it easier to work with
Epetra.
clang-17
C, C++ and Objective-C compiler
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).
python3-sedparse
GNU sed's parser translated from C to Python - library
sedparse is a translation from C to Python of GNU sed's parser for
sed scripts.
sedparse
GNU sed's parser translated from C to Python - CLI tool
sedparse is a translation from C to Python of GNU sed's parser for
sed scripts.
google-android-sources-32-installer
Google's 'Sources for Android 32' Installer
This package will download the Google's Sources for Android 32 package and
unpacks it into Debian-friendly paths.
libcoq-mathcomp-bigenough
epsilon - N reasoning for Mathematical Components
This package provides an extension to reason with big enough
objects (mostly natural numbers) for the Mathematical Components
library.