| 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-18.mga9 | Automated theorem prover including linear arithmetic | linux/x86_64 |
| coq-8.16.1-1.mga9 | The Coq Proof Assistant | linux/x86_64 |
| coq-flocq-4.1.0-1.mga9 | Formalization of floating point numbers for Coq | linux/x86_64 |
| coq-ide-8.16.1-1.mga9 | The Coq Integrated Development Interface | linux/x86_64 |
| coq-ide-server-8.16.1-1.mga9 | The coqidetop language server | linux/x86_64 |
| cuba-4.2.2-1.mga9 | A library for multidimensional numerical integration | linux/x86_64 |
| curaengine-4.12.1-3.mga9 | Engine for processing 3D models into G-code instructions for 3D printers | linux/x86_64 |
| imagej-1.53v-1.mga9 | Image Processing and Analysis in Java | linux/noarch |
| kicad-6.0.10-1.mga9 | An open source program for the creation of electronic schematic diagrams | linux/x86_64 |
| kicad-doc-6.0.10-1.mga9 | KiCad Documentation | linux/noarch |
| kicad-footprints-6.0.10-1.mga9 | KiCad Footprint Libraries | linux/noarch |
| kicad-packages3d-6.0.10-1.mga9 | KiCad 3D Models | linux/noarch |
| kicad-symbols-6.0.10-1.mga9 | KiCad Symbols | linux/noarch |
| kicad-templates-6.0.10-1.mga9 | KiCad Templates | linux/noarch |
| lexed-4.7-19.mga9 | Lexicon analyser | linux/x86_64 |
| ltl2ba-1.3-2.mga9 | Fast translation from LTL formulas to Buchi automata | linux/x86_64 |
| picosat-965-2.mga9 | Lightweight SAT solver | linux/x86_64 |
| povray-3.7.0.10-8.mga9 | The Persistence of Vision Raytracer | linux/x86_64 |
| povray-scenes-3.7.0.10-8.mga9 | POV-Ray example scenes | linux/noarch |
| sundials-6.4.1-1.mga9 | Nonlinear, differential and algebraic equation solvers | linux/x86_64 |
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Feb 5 05:26:09 2023