qtdeclarative5-ubuntu-content1

QML binding for libcontent-hub

libapache2-mod-authn-webid

WebID FOAF+SSL authentication module for Apache

This module provides a WebID FOAF+SSL authentication mechanism for Apache.

libxml-semanticdiff-perl

Perl extension for comparing XML documents

This Perl module, XML::SemanticDiff, provides a library to semantically compare two XML files for equivalence. This is done while ignoring whitespace variations in the text as well as several permutations in the order of the tags.

acl2-books-certs

Computational Logic for Applicative Common Lisp: library certificates

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

libusbauth-configparser1

Library for USB Firewall including flex/bison parser

It is a firewall against BadUSB attacks. A config file describes in which way USB interfaces would be accepted or denied. To the kernel an interface authorization was developed with this firewall. The firewall sets the authorization mask according to the rules.

libcoq-mathcomp-character

Mathematical Components library for Coq (character)

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.