debian-codesearch-cli

client for Debian Code Search

Simple client for the Debian Code Search service. Provides a Python library and a CLI tool named "codesearch"

bbdb

The Insidious Big Brother Database (email rolodex) for Emacs

This is a transitional package and maybe safely deleted.

debian-el

Transition package, debian-el to elpa-debian-el

The debian-el emacs addon has been elpafied. This dummy package helps ease transition from debian-el to elpa-debian-el.

drat-trim-examples

DART-trim satisfiability proof checker (example files)

DRAT-trim is a satisfiability proof checking and trimming utility designed to validate proofs for all known satisfiability solving and preprocessing techniques. DRAT-trim can also emit trimmed formulas, optimized proofs, and TraceCheck+ dependency graphs.

distribution-gpg-keys

Archive keyrings for RPM-based Linux distributions

collection of GPG keys to check signatures of rpm packages from following distributions:

dracut-config-rescue

dracut is an event driven initramfs infrastructure

This is the dracut configuration to turn on rescue image generation