4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
pdfadd 2.0-1 0 0.00 Assistants de création de graphiques pour pdflatex/asymptote Gune
jelvis 1.0.2-1 1 0.07 Smart voice assistants like Alexa, Siri and Google assistants kia_hamedi
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. orphan

4 packages found. Page 1 of 1.