Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Search Help

RPM of Group Sciences/Computer science

acabit-en-4.3-1 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-10 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarch
acabit-fr-4.3-10 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-9 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
alt-ergo-2.3.3-2.mga10 Automated theorem prover including linear arithmetic linux/x86_64linux/aarch64
alt-ergo-2.3.3-1.mga9 Automated theorem prover including linear arithmetic linux/i586linux/aarch64linux/x86_64linux/armv7hl
alt-ergo-2.2.0-10.mga8 Automated theorem prover including linear arithmetic linux/aarch64linux/i586linux/armv7hllinux/x86_64
bibutils-4.12-2 Inter-convert between various bibliography formats linux/x86_64linux/x86_64
brilltagger-1.14-12 Rule based tagger linux/x86_64linux/x86_64
coq-8.20.1-1.mga10 The Coq Proof Assistant linux/x86_64linux/aarch64
coq-8.16.1-1.mga9 The Coq Proof Assistant linux/i586linux/aarch64linux/x86_64linux/armv7hl
coq-8.11.0-4.mga8 The Coq Proof Assistant linux/aarch64linux/i586linux/armv7hllinux/x86_64
coq-flocq-4.2.1-1.mga10 Formalization of floating point numbers for Coq linux/x86_64linux/aarch64
coq-flocq-4.1.0-2.mga9 Formalization of floating point numbers for Coq linux/i586linux/aarch64linux/x86_64linux/armv7hl
coq-flocq-3.2.0-1.mga8 Formalization of floating point numbers for Coq linux/aarch64linux/i586linux/armv7hllinux/x86_64
coq-ide-8.20.1-1.mga10 The Coq Integrated Development Interface linux/x86_64linux/aarch64
coq-ide-8.16.1-1.mga9 The Coq Integrated Development Interface linux/i586linux/aarch64linux/x86_64linux/armv7hl
coq-ide-8.11.0-4.mga8 The Coq Integrated Development Interface linux/aarch64linux/i586linux/armv7hllinux/x86_64
coq-ide-server-8.20.1-1.mga10 The coqidetop language server linux/x86_64linux/aarch64
coq-ide-server-8.16.1-1.mga9 The coqidetop language server linux/i586linux/aarch64linux/x86_64linux/armv7hl
cuba-4.2.2-2.mga10 A library for multidimensional numerical integration linux/armv7hllinux/aarch64linux/x86_64linux/i686
cuba-4.2.2-1.mga9 A library for multidimensional numerical integration linux/i586linux/aarch64linux/x86_64linux/armv7hl
cuba-4.2.1-2.mga8 A library for multidimensional numerical integration linux/aarch64linux/i586linux/armv7hllinux/x86_64
curaengine-5.4.0-5.mga10 Engine for processing 3D models into G-code instructions for 3D printers linux/armv7hllinux/aarch64linux/x86_64linux/i686
curaengine-4.12.1-3.1.mga9 Engine for processing 3D models into G-code instructions for 3D printers linux/i586linux/aarch64linux/x86_64linux/armv7hl
curaengine-4.12.1-3.mga9 Engine for processing 3D models into G-code instructions for 3D printers linux/i586linux/aarch64linux/x86_64linux/armv7hl
curaengine-4.8.0-1.1.1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/i586linux/aarch64linux/x86_64linux/armv7hl
curaengine-4.8.0-1.1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/i586linux/aarch64linux/x86_64linux/armv7hl
curaengine-4.8.0-1.mga8 Engine for processing 3D models into G-code instructions for 3D printers linux/aarch64linux/i586linux/armv7hllinux/x86_64
flemm-3.1-11 Inflectional analysis on French texts linux/noarchlinux/noarch
imagej-1.52r-2 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-1.53v-1.mga9 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-1.53d-2.mga8 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-javadoc-1.53d-2.mga8 Javadocs for imagej linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-9.0.4-1.mga10 An open source program for the creation of electronic schematic diagrams linux/armv7hllinux/aarch64linux/x86_64linux/i686
kicad-9.0.2-1 EDA software suite for creation of schematic diagrams and PCBs linux/x86_64linux/aarch64
kicad-9.0.1-1 EDA software suite for creation of schematic diagrams and PCBs linux/x86_64linux/aarch64
kicad-7.0.1-1.mga9 An open source program for the creation of electronic schematic diagrams linux/i586linux/aarch64linux/x86_64linux/armv7hl
kicad-5.1.12-1.1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586linux/aarch64linux/x86_64linux/armv7hl
kicad-6.0.7-1.mga8 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/x86_64linux/armv7hllinux/i586
kicad-6.0.1-1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586linux/aarch64linux/x86_64linux/armv7hl
kicad-5.1.12-1.mga8 An open source program for the creation of electronic schematic diagrams linux/i586linux/aarch64linux/x86_64linux/armv7hl
kicad-5.1.9-2.mga8 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/i586linux/armv7hllinux/x86_64
kicad-doc-9.0.4-1.mga10 KiCad Documentation linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-9.0.2-1 Documentation for KiCad linux/noarchlinux/noarch
kicad-doc-9.0.1-1 Documentation for KiCad linux/noarchlinux/noarch
kicad-doc-7.0.1-1.mga9 KiCad Documentation linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-5.1.12-1.1.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-6.0.7-1.mga8 KiCad Documentation linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-6.0.1-1.mga8 KiCad Documentation linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-5.1.12-1.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-5.1.9-2.mga8 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-footprints-9.0.4-1.mga10 KiCad Footprint Libraries linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-footprints-7.0.1-1.mga9 KiCad Footprint Libraries linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-footprints-6.0.7-1.mga8 KiCad Footprint Libraries linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-footprints-6.0.1-1.mga8 KiCad Footprint Libraries linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-i18n-5.1.12-1.1.mga8 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-i18n-5.1.12-1.mga8 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-i18n-5.1.9-2.mga8 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-5.1.12-1.1.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-5.1.12-1.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-5.1.9-2.mga8 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-packages3d-9.0.4-1.mga10 KiCad 3D Models linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-packages3d-9.0.2-1 3D Models for KiCad linux/noarchlinux/noarch
kicad-packages3d-9.0.1-1 3D Models for KiCad linux/noarchlinux/noarch
kicad-packages3d-7.0.1-1.mga9 KiCad 3D Models linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-packages3d-6.0.7-1.mga8 KiCad 3D Models linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-packages3d-6.0.1-1.mga8 KiCad 3D Models linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-symbols-9.0.4-1.mga10 KiCad Symbols linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-symbols-7.0.1-1.mga9 KiCad Symbols linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-symbols-6.0.7-1.mga8 KiCad Symbols linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-symbols-6.0.1-1.mga8 KiCad Symbols linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-templates-9.0.4-1.mga10 KiCad Templates linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-templates-7.0.1-1.mga9 KiCad Templates linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-templates-6.0.7-1.mga8 KiCad Templates linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-templates-6.0.1-1.mga8 KiCad Templates linux/noarchlinux/noarchlinux/noarchlinux/noarch
lexed-4.7-20.mga10 Lexicon analyser linux/armv7hllinux/aarch64linux/x86_64linux/i686
lexed-4.7-19.mga9 Lexicon analyser linux/i586linux/aarch64linux/x86_64linux/armv7hl
lexed-4.7-18.mga8 Lexicon analyser linux/aarch64linux/i586linux/armv7hllinux/x86_64
ltl2ba-1.3-3.mga10 Fast translation from LTL formulas to Buchi automata linux/armv7hllinux/aarch64linux/x86_64linux/i686
ltl2ba-1.3-2.mga9 Fast translation from LTL formulas to Buchi automata linux/i586linux/aarch64linux/x86_64linux/armv7hl
ltl2ba-1.3-1.mga8 Fast translation from LTL formulas to Buchi automata linux/aarch64linux/i586linux/armv7hllinux/x86_64
mgtools-2.2.1-3 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/x86_64
ocaml-alt-ergo-lib-2.3.3-2.mga10 Automated theorem prover library linux/x86_64linux/aarch64
ocaml-alt-ergo-lib-2.3.3-1.mga9 Automated theorem prover library linux/i586linux/aarch64linux/x86_64linux/armv7hl
ocaml-alt-ergo-lib-devel-2.3.3-2.mga10 Development files for ocaml-alt-ergo-lib linux/x86_64linux/aarch64
ocaml-alt-ergo-lib-devel-2.3.3-1.mga9 Development files for ocaml-alt-ergo-lib linux/i586linux/aarch64linux/x86_64linux/armv7hl
ocaml-alt-ergo-parsers-2.3.3-2.mga10 Parser library used by the Alt-Ergo SMT solver linux/x86_64linux/aarch64
ocaml-alt-ergo-parsers-2.3.3-1.mga9 Parser library used by the Alt-Ergo SMT solver linux/i586linux/aarch64linux/x86_64linux/armv7hl
ocaml-alt-ergo-parsers-devel-2.3.3-2.mga10 Development files for ocaml-alt-ergo-parsers linux/x86_64linux/aarch64
ocaml-alt-ergo-parsers-devel-2.3.3-1.mga9 Development files for ocaml-alt-ergo-parsers linux/i586linux/aarch64linux/x86_64linux/armv7hl
opencv-java-4.12.0-6 Java bindings for OpenCV linux/x86_64Newlinux/aarch64New
opencv-java-4.11.0-2 Java bindings for OpenCV linux/x86_64linux/aarch64
picosat-965-4.mga10 Lightweight SAT solver linux/armv7hllinux/aarch64linux/x86_64linux/i686
picosat-936-71 Lightweight SAT solver linux/x86_64linux/aarch64linux/x86_64linux/aarch64
picosat-965-2.mga9 Lightweight SAT solver linux/i586linux/aarch64linux/x86_64linux/armv7hl
picosat-965-1.mga8 Lightweight SAT solver linux/aarch64linux/i586linux/armv7hllinux/x86_64
povray-3.7.0.10-15.mga10 The Persistence of Vision Raytracer linux/armv7hllinux/aarch64linux/x86_64linux/i686
povray-3.7.0.10-8.mga9 The Persistence of Vision Raytracer linux/i586linux/aarch64linux/x86_64linux/armv7hl
povray-3.7.0.8-9.mga8 The Persistence of Vision Raytracer linux/aarch64linux/i586linux/armv7hllinux/x86_64
povray-scenes-3.7.0.10-15.mga10 POV-Ray example scenes linux/noarchlinux/noarchlinux/noarchlinux/noarch
povray-scenes-3.7.0.10-8.mga9 POV-Ray example scenes linux/noarchlinux/noarchlinux/noarchlinux/noarch
povray-scenes-3.7.0.8-9.mga8 POV-Ray example scenes linux/noarchlinux/noarchlinux/noarchlinux/noarch
sundials-7.5.0-1.mga10 Nonlinear, differential and algebraic equation solvers linux/armv7hlNewlinux/aarch64Newlinux/x86_64Newlinux/i686New
sundials-6.5.1-1.mga9 Nonlinear, differential and algebraic equation solvers linux/i586linux/aarch64linux/x86_64linux/armv7hl
sundials-5.5.0-1.mga8 Nonlinear, differential and algebraic equation solvers linux/aarch64linux/i586linux/armv7hllinux/x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 25 21:12:53 2025