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