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-1.01-2.mga6 Automated theorem prover including linear arithmetic linux/x86_64New
alt-ergo-gui-1.01-2.mga6 Graphical front end for alt-ergo linux/x86_64New
coq-8.5pl2-2.mga6 The Coq Proof Assistant linux/x86_64New
coq-flocq-2.5.1-2.mga6 Formalization of floating point numbers for Coq linux/x86_64New
coq-ide-8.5pl2-2.mga6 The Coq Integrated Development Interface linux/x86_64New
curaengine-15.04-4.mga6 Engine for processing 3D models into G-code instructions for 3D printers linux/x86_64New
frama-c-1.13-0.20160501Aluminium.2.mga6 Framework for source code analysis of C software linux/x86_64New
fsa-0.51-5.mga6 Finite state automata package linux/x86_64
fsa-tcl-0.51-5.mga6 Tcl/Tk interface for fsa linux/x86_64
imagej-1.50h-1.mga6 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.50h-1.mga6 Javadocs for imagej linux/noarch
kicad-4.0.4-1.mga6 An open source program for the creation of electronic schematic diagrams linux/x86_64New
kicad-doc-4.0.4-1.mga6 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchNew
kicad-doc-4.0.1-6.mga6 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-i18n-4.0.4-1.mga6 Kicad locales linux/noarchNew
kicad-i18n-4.0.1-6.mga6 Kicad locales linux/noarch
kicad-library-4.0.4-1.mga6 Library for kicad (creation of electronic schematic diagrams) linux/noarchNew
kicad-library-4.0.1-6.mga6 Library for kicad (creation of electronic schematic diagrams) linux/noarch
lexed-4.7-15.mga6 Lexicon analyser linux/x86_64
ltl2ba-1.1-4.mga6 Fast translation from LTL formulas to Buchi automata linux/x86_64
picosat-936-12.mga6 Lightweight SAT solver linux/x86_64
povray-3.7.0-0.20131116git39ce8a2.14.mga6 The Persistence of Vision Raytracer linux/x86_64
povray-scenes-3.7.0-0.20131116git39ce8a2.14.mga6 POV-Ray example scenes linux/noarch
why3-0.87.2-2.mga6 Software verification platform linux/x86_64New

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 30 02:10:30 2016