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: