libstdc++-5-dev-arm64-cross
GNU Standard C++ Library v3 (development files)
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
libec2
Library for modular symbols and elliptic curves over Q
This library implements 2-descent on elliptic curves over Q and computations
with modular symbols.
gobjc-8-aarch64-linux-gnu
GNU Objective-C compiler
libghc-ogma-language-csv-prof
Runtime Monitor translator: CSV Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.