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-2.2.0-5.mga7 Automated theorem prover including linear arithmetic linux/x86_64
alt-ergo-gui-2.2.0-5.mga7 Graphical front end for alt-ergo linux/x86_64
coq-8.7.1-1.mga7 The Coq Proof Assistant linux/x86_64
coq-flocq-2.6.0-3.mga7 Formalization of floating point numbers for Coq linux/x86_64
coq-ide-8.7.1-1.mga7 The Coq Integrated Development Interface linux/x86_64
cuba-4.2-6.mga7 A library for multidimensional numerical integration linux/x86_64
curaengine-15.04-5.mga7 Engine for processing 3D models into G-code instructions for 3D printers linux/x86_64
frama-c-16.0-0.20171101Sulfur.4.mga7 Framework for source code analysis of C software linux/x86_64
fsa-0.51-6.mga7 Finite state automata package linux/x86_64
fsa-tcl-0.51-6.mga7 Tcl/Tk interface for fsa linux/x86_64
imagej-1.52k-1.mga7 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.52k-1.mga7 Javadocs for imagej linux/noarch
kicad-5.1.5-1.mga7 An open source program for the creation of electronic schematic diagrams linux/x86_64
kicad-5.1.4-1.mga7 An open source program for the creation of electronic schematic diagrams linux/x86_64
kicad-5.1.2-2.mga7 An open source program for the creation of electronic schematic diagrams linux/x86_64
kicad-doc-5.1.5-1.mga7 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-5.1.4-1.mga7 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-5.1.2-2.mga7 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-i18n-5.1.5-1.mga7 Kicad locales linux/noarch
kicad-i18n-5.1.4-1.mga7 Kicad locales linux/noarch
kicad-i18n-5.1.2-2.mga7 Kicad locales linux/noarch
kicad-library-5.1.5-1.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-5.1.4-1.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-5.1.2-2.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarch
lexed-4.7-17.mga7 Lexicon analyser linux/x86_64
ltl2ba-1.2-0.b1.2.mga7 Fast translation from LTL formulas to Buchi automata linux/x86_64
picosat-936-14.mga7 Lightweight SAT solver linux/x86_64
povray-3.7.0.8-3.mga7 The Persistence of Vision Raytracer linux/x86_64
povray-scenes-3.7.0.8-3.mga7 POV-Ray example scenes linux/noarch
sundials-4.1.0-1.1.mga7 Nonlinear, differential and algebraic equation solvers linux/x86_64
sundials-4.1.0-1.mga7 Nonlinear, differential and algebraic equation solvers linux/x86_64
why3-1.2.0-1.mga7 Software verification platform linux/x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 6 03:50:13 2020