Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

RPM of Group Sciences/Computer science

alt-ergo-0.95.2-2.mga4 Automated theorem prover including linear arithmetic linux/x86_64
alt-ergo-gui-0.95.2-2.mga4 Graphical front end for alt-ergo linux/x86_64
coq-8.4pl2-3.mga4 The Coq Proof Assistant linux/x86_64
coq-flocq-2.1.0-1.mga4 Formalization of floating point numbers for Coq linux/x86_64
coq-ide-8.4pl2-3.mga4 The Coq Integrated Development Interface linux/x86_64
frama-c-1.9-0.20130601Fluorine.2.mga4 Framework for source code analysis of C software linux/x86_64
fsa-0.45-3.mga4 Finite state automata package linux/x86_64
fsa-tcl-0.45-3.mga4 Tcl/Tk interface for fsa linux/x86_64
imagej-1.45b-3.mga4 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.45b-3.mga4 Javadocs for imagej linux/noarch
kicad-20130725.bzr4024-3.mga5 An open source program for the creation of electronic schematic diagrams linux/x86_64
kicad-doc-20130926.bzr493-3.mga5 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-20130923.bzr274-3.mga5 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-locales-ca-20130926.bzr493-3.mga5 Catalan Kicad locales linux/noarch
kicad-locales-cs-20130926.bzr493-3.mga5 Czech Kicad locales linux/noarch
kicad-locales-de-20130926.bzr493-3.mga5 German Kicad locales linux/noarch
kicad-locales-en-20130926.bzr493-3.mga5 English Kicad locales linux/noarch
kicad-locales-es-20130926.bzr493-3.mga5 Spanish Kicad locales linux/noarch
kicad-locales-fi-20130926.bzr493-3.mga5 Finnish Kicad locales linux/noarch
kicad-locales-fr-20130926.bzr493-3.mga5 French Kicad locales linux/noarch
kicad-locales-hu-20130926.bzr493-3.mga5 Hungarian Kicad locales linux/noarch
kicad-locales-it-20130926.bzr493-3.mga5 Italian Kicad locales linux/noarch
kicad-locales-ja-20130926.bzr493-3.mga5 Japanese Kicad locales linux/noarch
kicad-locales-ko-20130926.bzr493-3.mga5 Korean Kicad locales linux/noarch
kicad-locales-nl-20130926.bzr493-3.mga5 Dutch Kicad locales linux/noarch
kicad-locales-pl-20130926.bzr493-3.mga5 Polish Kicad locales linux/noarch
kicad-locales-pt-20130926.bzr493-3.mga5 Portuguese Kicad locales linux/noarch
kicad-locales-ru-20130926.bzr493-3.mga5 Russian Kicad locales linux/noarch
kicad-locales-sl-20130926.bzr493-3.mga5 Slovenian Kicad locales linux/noarch
kicad-locales-sv-20130926.bzr493-3.mga5 Salvadoran Kicad locales linux/noarch
kicad-locales-zh-cn-20130926.bzr493-3.mga5 Chinese Kicad locales linux/noarch
lexed-4.7-11.mga4 Lexicon analyser linux/x86_64
ltl2ba-1.1-1.mga4 Fast translation from LTL formulas to Buchi automata linux/x86_64
picosat-936-8.mga4 Lightweight SAT solver linux/x86_64
povray-3.7.0-0.20131116git39ce8a2.6.mga5 The Persistence of Vision Raytracer linux/x86_64New
povray-3.7.0-0.RC7.5.mga5.nonfree The Persistence of Vision Raytracer linux/x86_64
povray-scenes-3.7.0-0.20131116git39ce8a2.6.mga5 POV-Ray example scenes linux/noarchNew
why3-0.81-2.mga4 Software verification platform linux/x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 17 03:47:26 2014