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-10.mga8 Automated theorem prover including linear arithmetic linux/i586
coq-8.11.0-4.mga8 The Coq Proof Assistant linux/i586
coq-flocq-3.2.0-1.mga8 Formalization of floating point numbers for Coq linux/i586
coq-ide-8.11.0-4.mga8 The Coq Integrated Development Interface linux/i586
cuba-4.2.1-2.mga8 A library for multidimensional numerical integration linux/i586
curaengine-4.8.0-1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/i586
curaengine-4.8.0-1.1.1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/i586
curaengine-4.8.0-1.1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/i586
imagej-1.53d-2.mga8 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.53d-2.mga8 Javadocs for imagej linux/noarch
kicad-5.1.9-2.mga8 An open source program for the creation of electronic schematic diagrams linux/i586
kicad-5.1.12-1.1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586
kicad-5.1.12-1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586
kicad-6.0.7-1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586
kicad-6.0.1-1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586
kicad-doc-5.1.9-2.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-5.1.12-1.1.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-5.1.12-1.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-6.0.7-1.mga8 KiCad Documentation linux/noarch
kicad-doc-6.0.1-1.mga8 KiCad Documentation linux/noarch
kicad-footprints-6.0.7-1.mga8 KiCad Footprint Libraries linux/noarch
kicad-footprints-6.0.1-1.mga8 KiCad Footprint Libraries linux/noarch
kicad-i18n-5.1.9-2.mga8 Kicad locales linux/noarch
kicad-i18n-5.1.12-1.1.mga8 Kicad locales linux/noarch
kicad-i18n-5.1.12-1.mga8 Kicad locales linux/noarch
kicad-library-5.1.9-2.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-5.1.12-1.1.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-5.1.12-1.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-packages3d-6.0.7-1.mga8 KiCad 3D Models linux/noarch
kicad-packages3d-6.0.1-1.mga8 KiCad 3D Models linux/noarch
kicad-symbols-6.0.7-1.mga8 KiCad Symbols linux/noarch
kicad-symbols-6.0.1-1.mga8 KiCad Symbols linux/noarch
kicad-templates-6.0.7-1.mga8 KiCad Templates linux/noarch
kicad-templates-6.0.1-1.mga8 KiCad Templates linux/noarch
lexed-4.7-18.mga8 Lexicon analyser linux/i586
ltl2ba-1.3-1.mga8 Fast translation from LTL formulas to Buchi automata linux/i586
picosat-965-1.mga8 Lightweight SAT solver linux/i586
povray-3.7.0.8-9.mga8 The Persistence of Vision Raytracer linux/i586
povray-scenes-3.7.0.8-9.mga8 POV-Ray example scenes linux/noarch
sundials-5.5.0-1.mga8 Nonlinear, differential and algebraic equation solvers linux/i586

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 9 16:12:21 2024