| alt-ergo-0.95.1-1.mga4 |
Automated theorem prover including linear arithmetic |
linux/x86_64 |
| alt-ergo-gui-0.95.1-1.mga4 |
Graphical front end for alt-ergo |
linux/x86_64 |
| coq-8.4pl2-1.mga4 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-ide-8.4pl2-1.mga4 |
The Coq Integrated Development Interface |
linux/x86_64 |
| fsa-0.45-2.mga3 |
Finite state automata package |
linux/x86_64 |
| fsa-tcl-0.45-2.mga3 |
Tcl/Tk interface for fsa |
linux/x86_64 |
| imagej-1.45b-2.mga3 |
Image Processing and Analysis in Java |
linux/noarch |
| imagej-javadoc-1.45b-2.mga3 |
Javadocs for imagej |
linux/noarch |
| kicad-20111221.bzr3253-3.mga3 |
An open source program for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-20111226.bzr304-3.mga3 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-library-20111126.bzr112-3.mga3 |
Library for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-locales-ca-20111226.bzr304-3.mga3 |
Catalan Kicad locales |
linux/noarch |
| kicad-locales-cs-20111226.bzr304-3.mga3 |
Czech Kicad locales |
linux/noarch |
| kicad-locales-de-20111226.bzr304-3.mga3 |
German Kicad locales |
linux/noarch |
| kicad-locales-en-20111226.bzr304-3.mga3 |
English Kicad locales |
linux/noarch |
| kicad-locales-es-20111226.bzr304-3.mga3 |
Spanish Kicad locales |
linux/noarch |
| kicad-locales-fi-20111226.bzr304-3.mga3 |
Finnish Kicad locales |
linux/noarch |
| kicad-locales-fr-20111226.bzr304-3.mga3 |
French Kicad locales |
linux/noarch |
| kicad-locales-hu-20111226.bzr304-3.mga3 |
Hungarian Kicad locales |
linux/noarch |
| kicad-locales-it-20111226.bzr304-3.mga3 |
Italian Kicad locales |
linux/noarch |