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.