| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Search | Help |
| acabit-en-4.3-1 | Automatic Corpus-based Acquisition of Binary Terms | linux/noarch | linux/noarch | ||
| acabit-en-26112003-10 | Automatic Corpus-based Acquisition of Binary Terms | linux/noarch | linux/noarch | ||
| acabit-fr-4.3-9 | Automatic Corpus-based Acquisition of Binary Terms | linux/noarch | linux/noarch | ||
| acabit-fr-4.3-10 | Automatic Corpus-based Acquisition of Binary Terms | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| alt-ergo-2.3.3-2.mga10 | Automated theorem prover including linear arithmetic | linux/x86_64 | linux/aarch64 | ||
| alt-ergo-2.3.3-1.mga9 | Automated theorem prover including linear arithmetic | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| bibutils-4.12-2 | Inter-convert between various bibliography formats | linux/x86_64 | linux/x86_64 | ||
| brilltagger-1.14-12 | Rule based tagger | linux/x86_64 | linux/x86_64 | ||
| coq-8.20.1-1.mga10 | The Coq Proof Assistant | linux/x86_64 | linux/aarch64 | ||
| coq-8.16.1-1.mga9 | The Coq Proof Assistant | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| coq-flocq-4.2.1-1.mga10 | Formalization of floating point numbers for Coq | linux/x86_64 | linux/aarch64 | ||
| coq-flocq-4.1.0-2.mga9 | Formalization of floating point numbers for Coq | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| coq-ide-8.20.1-1.mga10 | The Coq Integrated Development Interface | linux/x86_64 | linux/aarch64 | ||
| coq-ide-8.16.1-1.mga9 | The Coq Integrated Development Interface | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| coq-ide-server-8.20.1-1.mga10 | The coqidetop language server | linux/x86_64 | linux/aarch64 | ||
| coq-ide-server-8.16.1-1.mga9 | The coqidetop language server | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| cuba-4.2.2-2.mga10 | A library for multidimensional numerical integration | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| cuba-4.2.2-1.mga9 | A library for multidimensional numerical integration | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| curaengine-5.4.0-5.mga10 | Engine for processing 3D models into G-code instructions for 3D printers | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| curaengine-4.12.1-3.1.mga9 | Engine for processing 3D models into G-code instructions for 3D printers | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| curaengine-4.12.1-3.mga9 | Engine for processing 3D models into G-code instructions for 3D printers | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| flemm-3.1-11 | Inflectional analysis on French texts | linux/noarch | linux/noarch | ||
| imagej-1.54r-1.mga10 | Image Processing and Analysis in Java | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| imagej-1.52r-2 | Image Processing and Analysis in Java | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| imagej-1.53v-1.mga9 | Image Processing and Analysis in Java | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-10.0.3-1 | EDA software suite for creation of schematic diagrams and PCBs | linux/x86_64 | linux/aarch64 | ||
| kicad-9.0.6-2.mga10 | An open source program for the creation of electronic schematic diagrams | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| kicad-9.0.1-1 | EDA software suite for creation of schematic diagrams and PCBs | linux/x86_64 | linux/aarch64 | ||
| kicad-7.0.1-1.mga9 | An open source program for the creation of electronic schematic diagrams | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| kicad-doc-10.0.3-1 | Documentation for KiCad | linux/noarch | linux/noarch | ||
| kicad-doc-9.0.6-1.mga10 | KiCad Documentation | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-doc-9.0.1-1 | Documentation for KiCad | linux/noarch | linux/noarch | ||
| kicad-doc-7.0.1-1.mga9 | KiCad Documentation | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-footprints-9.0.6-1.mga10 | KiCad Footprint Libraries | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-footprints-7.0.1-1.mga9 | KiCad Footprint Libraries | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-packages3d-10.0.3-1 | 3D Models for KiCad | linux/noarch | linux/noarch | ||
| kicad-packages3d-9.0.6-1.mga10 | KiCad 3D Models | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-packages3d-9.0.1-1 | 3D Models for KiCad | linux/noarch | linux/noarch | ||
| kicad-packages3d-7.0.1-1.mga9 | KiCad 3D Models | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-symbols-9.0.6-1.mga10 | KiCad Symbols | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-symbols-7.0.1-1.mga9 | KiCad Symbols | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-templates-9.0.6-1.mga10 | KiCad Templates | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| kicad-templates-7.0.1-1.mga9 | KiCad Templates | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| lexed-4.7-20.mga10 | Lexicon analyser | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| lexed-4.7-19.mga9 | Lexicon analyser | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| ltl2ba-1.3-3.mga10 | Fast translation from LTL formulas to Buchi automata | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| ltl2ba-1.3-2.mga9 | Fast translation from LTL formulas to Buchi automata | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| mgtools-2.2.1-3 | Tools and scripts to edit and visualize Meta Grammars | linux/x86_64 | linux/x86_64 | ||
| ocaml-alt-ergo-lib-2.3.3-2.mga10 | Automated theorem prover library | linux/x86_64 | linux/aarch64 | ||
| ocaml-alt-ergo-lib-2.3.3-1.mga9 | Automated theorem prover library | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| ocaml-alt-ergo-lib-devel-2.3.3-2.mga10 | Development files for ocaml-alt-ergo-lib | linux/x86_64 | linux/aarch64 | ||
| ocaml-alt-ergo-lib-devel-2.3.3-1.mga9 | Development files for ocaml-alt-ergo-lib | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| ocaml-alt-ergo-parsers-2.3.3-2.mga10 | Parser library used by the Alt-Ergo SMT solver | linux/x86_64 | linux/aarch64 | ||
| ocaml-alt-ergo-parsers-2.3.3-1.mga9 | Parser library used by the Alt-Ergo SMT solver | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| ocaml-alt-ergo-parsers-devel-2.3.3-2.mga10 | Development files for ocaml-alt-ergo-parsers | linux/x86_64 | linux/aarch64 | ||
| ocaml-alt-ergo-parsers-devel-2.3.3-1.mga9 | Development files for ocaml-alt-ergo-parsers | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| opencv-java-4.12.0-11 | Java bindings for OpenCV | linux/x86_64 | linux/aarch64 |
||
| opencv-java-4.11.0-2 | Java bindings for OpenCV | linux/x86_64 | linux/aarch64 | ||
| picosat-965-4.mga10 | Lightweight SAT solver | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| picosat-936-71 | Lightweight SAT solver | linux/x86_64 | linux/aarch64 | linux/x86_64 | linux/aarch64 |
| picosat-965-2.mga9 | Lightweight SAT solver | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| povray-3.7.0.10-17.mga10 | The Persistence of Vision Raytracer | linux/armv7hl | linux/aarch64 | linux/x86_64 | linux/i686 |
| povray-3.7.0.10-8.mga9 | The Persistence of Vision Raytracer | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
| povray-scenes-3.7.0.10-17.mga10 | POV-Ray example scenes | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| povray-scenes-3.7.0.10-8.mga9 | POV-Ray example scenes | linux/noarch | linux/noarch | linux/noarch | linux/noarch |
| sundials-7.6.0-1.mga10 | Nonlinear, differential and algebraic equation solvers | linux/i686 | linux/armv7hl | linux/aarch64 | linux/x86_64 |
| sundials-6.5.1-1.mga9 | Nonlinear, differential and algebraic equation solvers | linux/i586 | linux/aarch64 | linux/x86_64 | linux/armv7hl |
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Jun 17 21:11:23 2026