libghc-ogma-language-c-prof
Ogma: Runtime Monitor translator: C Language 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.
daptup
reporter of changes in list of available packages from repositories
Daptup is the apt hook which runs automatically within 'apt-get update' or
'cupt update' and outputs four lists:
- packages came to archive with this update;
- new upgradeable packages;
- changes in "watched" packages (not installed, such packages have to be
specified in configuration file);
- outdated packages that have a new install candidate (optionally).
python3-django-ratelimit
Cache-based rate-limiting for Django (Python3 version)
Django Ratelimit is a ratelimiting decorator for Django views, storing rate
data in the configured Django cache backend. It requires a Django cache backend
that supports atomic increment operations. The Memcached and Redis backends do,
but the database backend does not.
libotbossimplugins-6.4-1
ORFEO Toolbox library - OTBOssimPlugins
disc-cover
produces covers for audio CDs
Disc-cover queries FreeDB for track information for a given CD and
creates a jewel-case insert in one of many available formats.
PostScript, PDF, Dvi, LaTeX, Plain Text, HTML, CDlabelgen and CDDB
are available.
disk-manager
simple graphical filesystem configurator
Disk-Manager is a simple filesystem configurator that allows you to:
* Automatically detect new partitions at startup.
* Fully manage configuration of filesystem.
* Enable/disable write support for NTFS (needs ntfs-3g installed).