python3-aiorecollect

asyncio-based library for the ReCollect Waste API

Aiorecollect is a Python 3, asyncio-based library for the ReCollect Waste API. It allows users to programmatically retrieve schedules for waste removal in their area, including trash, recycling, compost, and more.

s3fs

FUSE-based file system backed by Amazon S3

s3fs is a FUSE filesystem that allows you to mount an Amazon S3 bucket as a local filesystem. It stores files natively and transparently in S3 (i.e., you can use other programs to access the same files). Maximum file size is 5 TB when using multipart upload.

libssreflect-coq

Mathematical Components library for Coq

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.
Utilities for configuring and using ALSA

alsa-utils

Utilities for configuring and using ALSA

Included tools: - alsactl: advanced controls for ALSA sound drivers - alsaloop: create loopbacks between PCM capture and playback devices - alsamixer: curses mixer - alsaucm: alsa use case manager - amixer: command line mixer - amidi: read from and write to ALSA RawMIDI ports - aplay, arecord: command line playback and recording - aplaymidi, arecordmidi: command line MIDI playback and recording - aconnect, aseqnet, aseqdump: command line MIDI sequencer control - iecset: set or dump IEC958 status bits - speaker-test: speaker test tone generator

gccgo-11-arm-linux-gnueabihf

GNU Go compiler

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libparlatype7

Library for Parlatype - runtime version

Provides the GStreamer backend for Parlatype, a wave loader and a wave viewer widget. Mainly used by Parlatype but open for other programs as well.