18 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
autosubst 1.6-1 1 0.76 Automation for de Bruijn syntax and substition in Coq. wilbowma
autosubst-devel 1.6-1 1 0.76 Automation for de Bruijn syntax and substition in Coq. wilbowma
camlp5-transitional 7.05-1 21 0.00 A preprocessor-pretty-printer of OCaml. (transitional) wilbowma
ect 0.8.2-1 0 0.00 Efficient Compression Tool (or ECT) is a ++ file optimizer. It supports PNG, JPEG, GZIP and ZIP files. wilbowma
haskell-geniplate 0.6.0.5-3 0 0.00 Use template Haskell to generate Uniplate-like functions wilbowma
hoard 3.11-1 3 0.00 Fast scalable and memory-efficient memory allocator wilbowma
makepkg-tidy-ect r4.f207dd8-2 0 0.00 A libmakepkg tidy script for loselessly compressing files using ect wilbowma
makepkg-tidy-pdfsizeopt r1.8171579-1 0 0.00 A libmakepkg tidy script for loselessly optimizing PDFs using pdfsizeopt wilbowma
mathcomp 1.7.0-1 6 0.76 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.00 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 54 0.06 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 1 0.05 File-synchronization tool wilbowma

18 packages found. Page 1 of 1.