| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| 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 |
| 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-doc-5.1.9-2.mga8 | Documentation for kicad (creation of electronic schematic diagrams) | linux/noarch |
| kicad-i18n-5.1.9-2.mga8 | Kicad locales | linux/noarch |
| kicad-library-5.1.9-2.mga8 | Library for kicad (creation of electronic schematic diagrams) | 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, Mon Mar 9 13:44:41 2026