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.