libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
elpa-graphviz-dot-mode
Emacs mode for the dot-language used by graphviz
Graphviz is open source graph visualization software. Graph
visualization is a way of representing structural information as
diagrams of abstract graphs and networks. The Graphviz layout
programs take descriptions of graphs in a simple text language, and
make diagrams in useful formats. This package helps Emacs users edit
the graphviz input language.
liblld-11
LLVM-based linker, library
LLD is a new, high-performance linker. It is built as a set of reusable
components which highly leverage existing libraries in the larger LLVM
Project.
libx264-160
x264 video coding library
libx264 is an advanced encoding library for creating H.264 (MPEG-4 AVC)
video streams.
python-django-allauth
Django app for local and social authentication (Python 2 version)
libvtk5-qt4-dev
Visualization Toolkit - A high level 3D visualization library - Qt devel