12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
unison-git r2.49.543.c403bd6-1 0 0.00 File-synchronization tool bluephoenix47
ssreflect 1.6-1 9 0.65 A set of extensions to the scripting language of Coq. bluephoenix47
s3ql-hg r2760.bd156222419a-2 1 0.09 A full-featured file system for online data storage. bluephoenix47
python2-pyliblzma 0.5.3-7 44 1.79 Python 2 bindings for liblzma bluephoenix47
proofgeneral 4.2-2 19 0.00 Generic interface for proof assistants. bluephoenix47
perl-text-aspell 0.09-3 7 0.00 Perl interface to the GNU Aspell library bluephoenix47
perl-class-trigger 0.14-3 4 0.00 Mixin to add / call inheritable triggers bluephoenix47
mathcomp 1.5-1 2 0.36 A mathematical components library for Coq. bluephoenix47
hoard 3.11-1 2 0.72 Fast scalable and memory-efficient memory allocator bluephoenix47
haskell-geniplate 0.6.0.5-3 0 0.00 Use template Haskell to generate Uniplate-like functions bluephoenix47
camlp5-transitional 6.14-1 18 0.01 A preprocessor-pretty-printer of OCaml. (transitional) bluephoenix47
autosubst 1.0-1 0 0.00 Automation for de Bruijn syntax and substition in Coq. bluephoenix47

12 packages found. Page 1 of 1.