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.