14 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
autosubst 1.0-1 0 0.00 Automation for de Bruijn syntax and substition in Coq. bluephoenix47
camlp5-transitional 6.17-1 18 0.00 A preprocessor-pretty-printer of OCaml. (transitional) bluephoenix47
haskell-geniplate 0.6.0.5-3 0 0.00 Use template Haskell to generate Uniplate-like functions bluephoenix47
hoard 3.11-1 2 0.07 Fast scalable and memory-efficient memory allocator bluephoenix47
mathcomp 1.6.1-1 2 0.04 The entire mathematical components library for Coq. bluephoenix47
perl-class-trigger 0.14-3 4 0.00 Mixin to add / call inheritable triggers bluephoenix47
perl-text-aspell 0.09-3 7 0.00 Perl interface to the GNU Aspell library bluephoenix47
proofgeneral 4.4-1 20 0.14 Generic interface for proof assistants. bluephoenix47
python-defusedxml-git v0.4.1.r5.g39d2ad3-1 0 0.00 XML bomb protection for Python stdlib modules bluephoenix47
python2-defusedxml-git v0.4.1.r5.g39d2ad3-1 0 0.00 XML bomb protection for Python stdlib modules bluephoenix47
python2-pyliblzma 0.5.3-7 49 2.03 Python 2 bindings for liblzma bluephoenix47
s3ql-hg r2760.bd156222419a-2 1 0.01 A full-featured file system for online data storage. bluephoenix47
ssreflect 1.6.1-2 9 0.06 The ssreflect unit of the mathematical components library for Coq. bluephoenix47
unison-git r2.49.543.c403bd6-1 0 0.00 File-synchronization tool bluephoenix47

14 packages found. Page 1 of 1.