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.

python3-luma.oled

library interfacing OLED matrix displays

Library interfacing OLED matrix displays with the SSD1306, SSD1309, SSD1322, SSD1325, SSD1327, SSD1331, SSD1351, SH1106 or WS0010 driver using I2C/SPI/Parallel on the Raspberry Pi and other linux-based single-board computers - it provides a Pillow-compatible drawing canvas, and other functionality to support: scrolling/panning capability, terminal-style printing, state management, color/greyscale (where supported), dithering to monochrome

libboost-atomic1.81.0

atomic data types, operations, and memory ordering constraints

This package forms part of the Boost C++ Libraries collection.

g++-12-multilib-sparc64-linux-gnu

GNU C++ compiler (multilib support) (cross compiler for sparc64 architecture)

This is the GNU C++ compiler, a fairly portable optimizing compiler for C++.

python3-luma.lcd

library interfacing small LCD displays

Library provides a Python 3 interface to small LCD displays connected to Raspberry Pi and other Linux-based single-board computers (SBC). It currently supports devices using the HD44780, PCD8544, ST7735, HT1621, and UC1701X controllers. It provides a Pillow-compatible drawing canvas, and other functionality to support: scrolling/panning capability, terminal-style printing, state management, color/greyscale (where supported), dithering to monochrome

libtss2-tcti-mssim0t64

TPM2 Software stack library - TSS and TCTI libraries

TPM2.0 TSS (Software Stack) consists of API layers provided to support TPM 2.0 chips. It is made out of three layers: