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-26112003-10 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarch
acabit-fr-4.3-9 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
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
alt-ergo-2.2.0-5.mga7 Automated theorem prover including linear arithmetic linux/aarch64linux/i586linux/armv7hllinux/x86_64
alt-ergo-gui-2.2.0-5.mga7 Graphical front end for alt-ergo 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.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-8.7.1-1.mga7 The Coq Proof Assistant linux/aarch64linux/i586linux/armv7hllinux/x86_64
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-flocq-2.6.0-3.mga7 Formalization of floating point numbers for Coq linux/aarch64linux/i586linux/armv7hllinux/x86_64
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-8.7.1-1.mga7 The Coq Integrated Development Interface linux/aarch64linux/i586linux/armv7hllinux/x86_64
coq-ide-server-8.16.1-1.mga9 The coqidetop language server linux/i586linux/aarch64linux/x86_64linux/armv7hl
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
cuba-4.2-6.mga7 A library for multidimensional numerical integration linux/aarch64linux/i586linux/armv7hllinux/x86_64
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.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
curaengine-15.04-5.mga7 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
frama-c-16.0-0.20171101Sulfur.4.mga7 Framework for source code analysis of C software linux/aarch64linux/i586linux/armv7hllinux/x86_64
fsa-0.51-6.mga7 Finite state automata package linux/aarch64linux/i586linux/armv7hllinux/x86_64
fsa-tcl-0.51-6.mga7 Tcl/Tk interface for fsa linux/aarch64linux/i586linux/armv7hllinux/x86_64
imagej-1.53v-1.mga9 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-1.52r-2 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-1.52k-1.mga7 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
imagej-javadoc-1.52k-1.mga7 Javadocs for imagej linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-7.0.5-1 EDA software suite for creation of schematic diagrams and PCBs linux/x86_64Newlinux/aarch64New
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.5-2 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/aarch64linux/x86_64linux/aarch64
kicad-5.1.9-2.mga8 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/i586linux/armv7hllinux/x86_64
kicad-5.1.5-1.mga7 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/i586linux/armv7hllinux/x86_64
kicad-5.1.4-1.mga7 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/i586linux/armv7hllinux/x86_64
kicad-5.1.2-2.mga7 An open source program for the creation of electronic schematic diagrams linux/aarch64linux/i586linux/armv7hllinux/x86_64
kicad-doc-7.0.5-1 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchNewlinux/noarchNew
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.5-2 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-doc-5.1.5-1.mga7 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-5.1.4-1.mga7 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-5.1.2-2.mga7 Documentation for kicad (creation of electronic schematic diagrams) 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-i18n-5.1.5-1.mga7 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-i18n-5.1.4-1.mga7 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-i18n-5.1.2-2.mga7 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.5-2 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-library-5.1.5-1.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-5.1.4-1.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-5.1.2-2.mga7 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/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-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-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-19.mga9 Lexicon analyser linux/aarch64linux/x86_64linux/armv7hllinux/i586
lexed-4.7-18.mga8 Lexicon analyser linux/aarch64linux/i586linux/armv7hllinux/x86_64
lexed-4.7-17.mga7 Lexicon analyser linux/aarch64linux/i586linux/armv7hllinux/x86_64
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
ltl2ba-1.2-0.b1.2.mga7 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-1.mga9 Automated theorem prover library linux/i586linux/aarch64linux/x86_64linux/armv7hl
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-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-1.mga9 Development files for ocaml-alt-ergo-parsers linux/i586linux/aarch64linux/x86_64linux/armv7hl
opencv-java-4.7.0-5 Java bindings for OpenCV linux/x86_64New
opencv-java-4.5.5-3 Java bindings for OpenCV linux/x86_64
picosat-965-2.mga9 Lightweight SAT solver linux/i586linux/aarch64linux/x86_64linux/armv7hl
picosat-936-7 Lightweight SAT solver linux/x86_64linux/x86_64
picosat-965-1.mga8 Lightweight SAT solver linux/aarch64linux/i586linux/armv7hllinux/x86_64
picosat-936-14.mga7 Lightweight SAT solver linux/aarch64linux/i586linux/armv7hllinux/x86_64
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-3.7.0.8-3.mga7 The Persistence of Vision Raytracer linux/aarch64linux/i586linux/armv7hllinux/x86_64
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
povray-scenes-3.7.0.8-3.mga7 POV-Ray example scenes linux/noarchlinux/noarchlinux/noarchlinux/noarch
sundials-6.5.1-1.mga9 Nonlinear, differential and algebraic equation solvers linux/i586Newlinux/aarch64Newlinux/x86_64Newlinux/armv7hlNew
sundials-6.4.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
sundials-4.1.0-1.1.mga7 Nonlinear, differential and algebraic equation solvers linux/aarch64linux/i586linux/armv7hllinux/x86_64
sundials-4.1.0-1.mga7 Nonlinear, differential and algebraic equation solvers linux/aarch64linux/i586linux/armv7hllinux/x86_64
why3-1.2.0-1.mga7 Software verification platform linux/aarch64linux/i586linux/armv7hllinux/x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 31 20:15:25 2023