15 packages found. Page 1 of 1.

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

15 packages found. Page 1 of 1.