This adds an extra flag --enable-debug so that the user can build Botan
with debugging enabled which is handy for debugging programs written
with Botan.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
ECM is a program to remove redundant information from cd images, and
losslessly replace that information when you want the original back.
This formula installs two binaries: ecm and unecm. That's all.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
A formula for GibbsLDA++ (A C/C++ Implementation of Latent Dirichlet Allocation (LDA) using Gibbs Sampling for Parameter Estimation and Inference). http://gibbslda.sourceforge.net/ClosesHomebrew/homebrew#7164.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
- Adjust CFLAGS to preserve building with clang
- Remove the patch, which fails to apply. It was not submitted upstream
prior to the 1.4.12 release; users who need this patch preserved
should see that it is sent to the GnuPG maintainer. We will consider
carrying it again once that is done.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Fix call to poppler to render normal thickness lines in Firefox.
ClosesHomebrew/homebrew#10317.
Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
arp-scan is a command-line tool that uses the ARP protocol to discover
and fingerprint IP hosts on the local network. It is available under the
GPL licence (GPLv3).
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
"Blackbox is a planning system that works by converting problems
specified in STRIPS notation into Boolean satisfiability problems, and
then solving the problems with a variety of state-of-the-art
satisfiability engines. The front-end employs the graphplan system (Blum
and Furst 1995). There is extreme flexibility in specifying the engines
to use. For example, you can tell it to use walksat (Selman, Kautz, and
Cohen 1994) for 60 seconds, and if that fails, then satz (Li and
Anbulagan 1997) for 1000 seconds. This gives blackbox the capability of
functioning efficiently over a broad range of problems. The name
blackbox refers to the fact that the plan generator knows nothing about
the SAT solvers, and the SAT solvers know nothing about plans: each is a
"black box" to the other."
[http://www.cs.rochester.edu/u/kautz/satplan/blackbox/]
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Conserver is an application that allows multiple users to watch a serial
console at the same time. It can log the data, allows users to take
write-access of a console (one at a time).
Signed-off-by: Adam Vandenberg <flangy@gmail.com>