| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| coq-8.16.1-1.mga9 | The Coq Proof Assistant | linux/i586 |
| coq-flocq-4.1.0-2.mga9 | Formalization of floating point numbers for Coq | linux/i586 |
| coq-ide-8.16.1-1.mga9 | The Coq Integrated Development Interface | linux/i586 |
| coq-ide-server-8.16.1-1.mga9 | The coqidetop language server | linux/i586 |
| cuba-4.2.2-2.mga10 | A library for multidimensional numerical integration | linux/i686 |
| curaengine-5.4.0-3.mga10 | Engine for processing 3D models into G-code instructions for 3D printers | linux/i686 |
| imagej-1.54p-1.mga10 | Image Processing and Analysis in Java | linux/noarch |
| kicad-9.0.0-3.mga10 | An open source program for the creation of electronic schematic diagrams | linux/i686 |
| kicad-doc-9.0.0-1.mga10 | KiCad Documentation | linux/noarch |
| kicad-footprints-9.0.0-1.mga10 | KiCad Footprint Libraries | linux/noarch |
| kicad-packages3d-9.0.0-1.mga10 | KiCad 3D Models | linux/noarch |
| kicad-symbols-9.0.0-1.mga10 | KiCad Symbols | linux/noarch |
| kicad-templates-9.0.0-1.mga10 | KiCad Templates | linux/noarch |
| lexed-4.7-20.mga10 | Lexicon analyser | linux/i686 |
| ltl2ba-1.3-3.mga10 | Fast translation from LTL formulas to Buchi automata | linux/i686 |
| picosat-965-3.mga10 | Lightweight SAT solver | linux/i686 |
| povray-3.7.0.10-13.mga10 | The Persistence of Vision Raytracer | linux/i686 |
| povray-scenes-3.7.0.10-13.mga10 | POV-Ray example scenes | linux/noarch |
| sundials-7.1.1-3.mga10 | Nonlinear, differential and algebraic equation solvers | linux/i686 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Jun 29 02:38:16 2025