Name Dateien Kurzbeschreibung
201matchbox-keyboard-im2on-screen keyboard
202matchbox-panel10Panel for the Matchbox Desktop
203matchbox-panel-manager6Manager for the Matchbox Desktop panel
204matchbox-themes-extra2Themes for the Matchbox Desktop
205matchbox-window-manager10Window manager for the Matchbox Desktop
206mateedit6collaborative editor for KDE
207mathematica-fonts5Installer of Mathematica fonts
208mathgl4Cross-platform library for making high-quality scientific graphics
209mathgl-doc2HTML documentation and tutorial for the mathgl applications
210mathomatic14Small, portable symbolic math program
211mathomatic-primes14prime number tools for mathomatic
212mathopd8A fast, lightweighte, non-forking HTTP server for UN*X systems
213mathpartir4LaTeX macros for typesetting inference rules
214mathpazo-type11for mathematical typesetting with the Palatino fonts
215mathpiper1A Java Computer Algebra System
216mathtex4Generate image from LaTeX command
217mathwar10A flash card game designed to teach maths
218matita10interactive theorem prover
219matita-doc2user manual of the Matita interactive theorem prover
220matita-standard-library4standard library for the Matita interactive theorem prover
1555 Pakete beginnen mit "#"
*
* Die Eingabe von Anfangsbuchstaben ist ausreichend