libcoq-elpi-ocaml

Coq plugin embedding Elpi (runtime)

This package makes it possible to define new commands and tactics for Coq in Elpi.

tomcat8-admin

Apache Tomcat 8 - Servlet and JSP engine -- admin web applications

Apache Tomcat implements the Java Servlet and the JavaServer Pages (JSP) specifications from Oracle, and provides a "pure Java" HTTP web server environment for Java code to run.

resilience-theme

Resilience GTK+ theme

seahorse-sharing

Daemon for sharing your GnuPG keys

declarative-plasmoids

plasmoids for Plasma Desktop and Active

libtest-notabs-perl

module for scanning for hard tabs in files

Test::NoTabs is a Perl test module that scans your project/distribution for any Perl files (scripts, modules, etc) that contain hard tabs (the \t, or 0x09) character. Tabs can render with slightly different width depending on the author's environment, so it's best to use spaces instead.