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

RPM of Group Sciences/Computer science

acabit-26112003-2mdk Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-9mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-3mdk Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-5mdv2008.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarch
acabit-en-26112003-4mdv2007.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-7mdv2010.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-en-26112003-6mdv2009.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-english-26112003-2mdk English resources for acabit linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-8mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-1mdk Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-3mdv2008.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarch
acabit-fr-4.3-2mdv2007.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-6mdv2010.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-fr-4.3-5mdv2009.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarchlinux/noarchlinux/noarchlinux/noarch
acabit-french-26112003-2mdk French resources for acabit linux/noarchlinux/noarchlinux/noarchlinux/noarch
alt-ergo-0.95.2-3.mga5 Automated theorem prover including linear arithmetic linux/x86_64Newlinux/i586New
alt-ergo-0.94-3.mga3 Automated theorem prover including linear arithmetic linux/x86_64linux/i586
alt-ergo-0.95.2-2.mga4 Automated theorem prover including linear arithmetic linux/x86_64linux/i586
alt-ergo-0.94-1.mga2 Automated theorem prover including linear arithmetic linux/x86_64linux/i586
alt-ergo-gui-0.95.2-3.mga5 Graphical front end for alt-ergo linux/x86_64Newlinux/i586New
alt-ergo-gui-0.94-3.mga3 Graphical front end for alt-ergo linux/x86_64linux/i586
alt-ergo-gui-0.95.2-2.mga4 Graphical front end for alt-ergo linux/x86_64linux/i586
alt-ergo-gui-0.94-1.mga2 Graphical front end for alt-ergo linux/x86_64linux/i586
bibutils-4.12-1 Inter-convert between various bibliography formats linux/x86_64linux/i586
bibutils-4.11-1mdv2011.0 Inter-convert between various bibliography formats linux/x86_64linux/i586
bibutils-3.24-4mdv2008.0 The bibutils program set interconverts between various bibliography formats linux/x86_64linux/ppclinux/i586
bibutils-4.8-1mdv2010.1 Interconvert between various bibliography formats linux/x86_64linux/i586
bibutils-3.24-3mdv2007.0 The bibutils program set interconverts between various bibliography formats linux/x86_64linux/sparclinux/i586linux/x86_64linux/i586
bibutils-4.3-1mdv2010.0 The bibutils program set interconverts between various bibliography formats linux/x86_64linux/i586
bibutils-3.41-1mdv2009.0 The bibutils program set interconverts between various bibliography formats linux/x86_64linux/i586linux/x86_64linux/i586
brilltagger-1.14-11mdv2011.0 Rule based tagger linux/x86_64linux/i586linux/x86_64linux/i586
brilltagger-1.14-4mdk Rule based tagger linux/x86_64linux/i586linux/x86_64linux/i586
brilltagger-1.14-5mdv2007.0 Rule based tagger linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
brilltagger-1.14-3mdk Rule based tagger linux/x86_64linux/i586linux/i586
brilltagger-1.14-10mdv2010.0 Rule based tagger linux/x86_64linux/i586linux/x86_64linux/i586
brilltagger-1.14-9mdv2009.0 Rule based tagger linux/x86_64linux/i586linux/x86_64linux/i586
coq-8.4pl4-3.mga5 The Coq Proof Assistant linux/x86_64Newlinux/i586New
coq-8.4pl1-1.mga3 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.4pl2-3.mga4 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.3pl3-1.mga2 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.0pl3-5mdv2007.1 The Coq Proof Assistant linux/ppc
coq-8.1pl3-1mdv2009.0 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.3-3mdv2011.0 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.3pl3-1 The Coq Proof Assistant linux/x86_64linux/i586linux/x86_64linux/i586
coq-8.1pl1-1mdv2008.0 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.2pl1-2mdv2010.1 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.3pl3-1mdv2010.2 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.0pl3-5mdv2007.0 The Coq Proof Assistant linux/i586linux/sparclinux/i586
coq-8.0pl3-4mdk The Coq Proof Assistant linux/x86_64linux/x86_64
coq-8.2-2mdv2010.0 The Coq Proof Assistant linux/x86_64linux/i586
coq-8.2-1mdv2009.1 The Coq Proof Assistant linux/x86_64linux/i586
coq-flocq-2.3.0-2.mga5 Formalization of floating point numbers for Coq linux/x86_64Newlinux/i586New
coq-flocq-2.1.0-1.mga4 Formalization of floating point numbers for Coq linux/x86_64linux/i586
coq-ide-8.4pl4-3.mga5 The Coq Integrated Development Interface linux/x86_64Newlinux/i586New
coq-ide-8.4pl1-1.mga3 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.4pl2-3.mga4 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.3pl3-1.mga2 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.0pl3-5mdv2007.1 The Coq Integrated Development Interface linux/ppc
coq-ide-8.1pl3-1mdv2009.0 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.3-3mdv2011.0 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.3pl3-1 The Coq Integrated Development Interface linux/x86_64linux/i586linux/x86_64linux/i586
coq-ide-8.1pl1-1mdv2008.0 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.2pl1-2mdv2010.1 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.3pl3-1mdv2010.2 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.0pl3-5mdv2007.0 The Coq Integrated Development Interface linux/i586linux/sparclinux/i586
coq-ide-8.0pl3-4mdk The Coq Integrated Development Interface linux/x86_64linux/x86_64
coq-ide-8.2-2mdv2010.0 The Coq Integrated Development Interface linux/x86_64linux/i586
coq-ide-8.2-1mdv2009.1 The Coq Integrated Development Interface linux/x86_64linux/i586
cvc3-2.4.1-0 Automatic theorem prover for Satisfiability Modulo Theories linux/x86_64linux/i586
dyalog-1.11.0-0.1.20060mdk Compiler for tabular execution of logic programs linux/i586
dyalog-1.10.4-1mdk Compiler for tabular execution of logic programs linux/i586
dyalog-1.11.2-1mdv2008.0 Compiler for tabular execution of logic programs linux/i586
dyalog-1.12.0-3mdv2010.1 Compiler for tabular execution of logic programs linux/i586linux/i586linux/i586
dyalog-1.11.0-2mdk Compiler for tabular execution of logic programs linux/i586linux/i586
dyalog-1.10.6-7mdk Compiler for tabular execution of logic programs linux/i586linux/i586
dyalog-1.11.3-1mdv2008.1 Compiler for tabular execution of logic programs linux/i586linux/i586linux/i586
dyalog-sqlite-1.0.0-0.1.20060mdk DyAlog SQLITE module linux/i586
dyalog-sqlite-1.0.1-1mdv2010.1 DyAlog SQLITE module linux/i586linux/i586linux/i586
dyalog-sqlite-1.0.0-3mdv2007.0 DyAlog SQLITE module linux/i586linux/i586linux/i586
dyalog-sqlite-1.0.0-7mdv2010.0 DyAlog SQLITE module linux/i586
dyalog-sqlite-1.0.0-6mdv2009.0 DyAlog SQLITE module linux/i586linux/i586
dyalog-xml-1.0.1-0.1.20060mdk DyAlog XML module linux/i586
dyalog-xml-1.0.4-1mdv2010.1 DyAlog XML module linux/i586linux/i586linux/i586
dyalog-xml-1.0.1-3mdv2007.0 DyAlog XML module linux/i586linux/i586linux/i586
dyalog-xml-1.0.0-1mdk DyAlog XML module linux/i586linux/i586
dyalog-xml-1.0.3-4mdv2010.0 DyAlog XML module linux/i586
dyalog-xml-1.0.3-3mdv2009.0 DyAlog XML module linux/i586linux/i586
fastr-2.04-3mdk A tool for automatic indexing linux/i586
fastr-2.04-8mdv2007.0 A tool for automatic indexing linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
fastr-2.04-5mdk A tool for automatic indexing linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
fastr-2.04-11mdv2009.0 A tool for automatic indexing linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
flemm-3.1-2mdk Inflectional analysis on French texts linux/noarch
flemm-3.1-10mdv2011.0 Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
flemm-3.1-4mdk Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarchlinux/noarch
flemm-3.1-5mdv2007.0 Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
flemm-3.1-3mdk Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarch
flemm-3.1-9mdv2010.0 Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarchlinux/noarch
flemm-3.1-8mdv2009.0 Inflectional analysis on French texts linux/noarchlinux/noarchlinux/noarchlinux/noarch
frama-c-1.10-0.20140301Neons.2.mga5 Framework for source code analysis of C software linux/x86_64Newlinux/i586New
frama-c-1.9-0.20130601Fluorine.2.mga4 Framework for source code analysis of C software linux/x86_64linux/i586
frmg-1.0.0-0.1.20060mdk Small preliminary example of a French grammar based on DyAlog linux/i586
frmg-1.2.0-1mdv2010.1 Small preliminary example of a French grammar based on DyAlog linux/i586linux/i586linux/i586
frmg-1.0.0-6mdv2007.0 Small preliminary example of a French grammar based on DyAlog linux/i586linux/i586linux/i586
frmg-0.0.1-2mdk Small preliminary example of a French grammar based on DyAlog linux/i586linux/i586
frmg-1.0.0-8mdv2009.0 Small preliminary example of a French grammar based on DyAlog linux/i586linux/i586linux/i586
frmg-viewer-1.0.0-0.1.20060mdk frmg viewer linux/i586
frmg-viewer-1.2.0-1mdv2010.1 frmg viewer linux/i586linux/i586linux/i586
frmg-viewer-1.0.0-6mdv2007.0 frmg viewer linux/i586linux/i586linux/i586
frmg-viewer-0.0.1-2mdk frmg viewer linux/i586linux/i586
frmg-viewer-1.0.0-8mdv2009.0 frmg viewer linux/i586linux/i586linux/i586
fsa-0.51-2.mga5 Finite state automata package linux/x86_64Newlinux/i586New
fsa-0.45-2.mga3 Finite state automata package linux/x86_64linux/i586
fsa-0.45-3.mga4 Finite state automata package linux/x86_64linux/i586
fsa-0.45-1.mga1 Finite state automata package linux/x86_64linux/i586linux/x86_64linux/i586
fsa-0.42-2mdk Finite state automata package linux/x86_64linux/i586linux/x86_64linux/i586
fsa-0.42-3mdv2007.0 Finite state automata package linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
fsa-0.45-1mdv2008.1 Finite state automata package linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
fsa-tcl-0.51-2.mga5 Tcl/Tk interface for fsa linux/x86_64Newlinux/i586New
fsa-tcl-0.45-2.mga3 Tcl/Tk interface for fsa linux/x86_64linux/i586
fsa-tcl-0.45-3.mga4 Tcl/Tk interface for fsa linux/x86_64linux/i586
fsa-tcl-0.45-1.mga1 Tcl/Tk interface for fsa linux/x86_64linux/i586linux/x86_64linux/i586
fsa-tcl-0.42-2mdk Tcl/Tk interface for fsa linux/x86_64linux/i586linux/x86_64linux/i586
fsa-tcl-0.42-3mdv2007.0 Tcl/Tk interface for fsa linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
fsa-tcl-0.45-1mdv2008.1 Tcl/Tk interface for fsa linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
imagej-1.45b-2.mga3 Image Processing and Analysis in Java linux/noarchlinux/noarch
imagej-1.45b-3.mga4 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-1.45b-1.mga2 Image Processing and Analysis in Java linux/noarchlinux/noarch
imagej-1.45b-2 Image Processing and Analysis in Java linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-javadoc-1.45b-2.mga3 Javadocs for imagej linux/noarchlinux/noarch
imagej-javadoc-1.45b-3.mga4 Javadocs for imagej linux/noarchlinux/noarchlinux/noarchlinux/noarch
imagej-javadoc-1.45b-1.mga2 Javadocs for imagej linux/noarchlinux/noarch
imagej-javadoc-1.45b-2 Javadocs for imagej linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-20130725.bzr4024-3.mga5 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20111221.bzr3253-3.mga3 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20130725.bzr4024-2.1.mga4 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20130725.bzr4024-2.mga4 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20111221.bzr3253-1.mga2 An open source program for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20110525.bzr3009-6 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20111228.bzr3254-1 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586linux/x86_64linux/i586
kicad-20050906-1mdk An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586linux/x86_64linux/i586
kicad-20100314-1mdv2010.1 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20060626-1mdv2007.0 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/ppclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
kicad-20090216-1mdv2010.0 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586
kicad-20080715-4mdv2009.0 An open source software for the creation of electronic schematic diagrams linux/x86_64linux/i586linux/x86_64linux/i586
kicad-doc-20130926.bzr493-3.mga5 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-doc-20111226.bzr304-3.mga3 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-doc-20130926.bzr493-2.1.mga4 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-doc-20130926.bzr493-2.mga4 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-doc-20111226.bzr304-1.mga2 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-doc-20110602.bzr216-6 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-20111221.bzr303-1 Documentation for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-doc-1.1-2mdv2010.0 Documentation for kicad (creation of electronic schematic diagrams) linux/x86_64linux/i586linux/x86_64linux/i586
kicad-doc-1.1-1mdv2009.0 Documentation for kicad (creation of electronic schematic diagrams) linux/x86_64linux/i586linux/x86_64linux/i586
kicad-library-20130923.bzr274-3.mga5 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-library-20111126.bzr112-3.mga3 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-library-20130923.bzr274-2.1.mga4 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-library-20130923.bzr274-2.mga4 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-library-20111126.bzr112-1.mga2 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarch
kicad-library-20101208.bzr109-6 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-20111126.bzr112-1 Library for kicad (creation of electronic schematic diagrams) linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-library-1.0-3mdv2010.0 Library for kicad (creation of electronic schematic diagrams) linux/x86_64linux/i586linux/x86_64linux/i586
kicad-library-1.0-2mdv2009.0 Library for kicad (creation of electronic schematic diagrams) linux/x86_64linux/i586linux/x86_64linux/i586
kicad-locales-20110602.bzr216-5 Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ca-20130926.bzr493-3.mga5 Catalan Kicad locales linux/noarchlinux/noarch
kicad-locales-ca-20111226.bzr304-3.mga3 Catalan Kicad locales linux/noarchlinux/noarch
kicad-locales-ca-20130926.bzr493-2.1.mga4 Catalan Kicad locales linux/noarchlinux/noarch
kicad-locales-ca-20130926.bzr493-2.mga4 Catalan Kicad locales linux/noarchlinux/noarch
kicad-locales-ca-20111226.bzr304-1.mga2 Catalan Kicad locales linux/noarchlinux/noarch
kicad-locales-ca-20110602.bzr216-6 Catalan Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ca-20111221.bzr303-1 Catalan Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-cs-20130926.bzr493-3.mga5 Czech Kicad locales linux/noarchlinux/noarch
kicad-locales-cs-20111226.bzr304-3.mga3 Czech Kicad locales linux/noarchlinux/noarch
kicad-locales-cs-20130926.bzr493-2.1.mga4 Czech Kicad locales linux/noarchlinux/noarch
kicad-locales-cs-20130926.bzr493-2.mga4 Czech Kicad locales linux/noarchlinux/noarch
kicad-locales-cs-20111226.bzr304-1.mga2 Czech Kicad locales linux/noarchlinux/noarch
kicad-locales-cs-20110602.bzr216-6 Czech Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-cs-20111221.bzr303-1 Czech Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-de-20130926.bzr493-3.mga5 German Kicad locales linux/noarchlinux/noarch
kicad-locales-de-20111226.bzr304-3.mga3 German Kicad locales linux/noarchlinux/noarch
kicad-locales-de-20130926.bzr493-2.1.mga4 German Kicad locales linux/noarchlinux/noarch
kicad-locales-de-20130926.bzr493-2.mga4 German Kicad locales linux/noarchlinux/noarch
kicad-locales-de-20111226.bzr304-1.mga2 German Kicad locales linux/noarchlinux/noarch
kicad-locales-de-20110602.bzr216-6 German Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-de-20111221.bzr303-1 German Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-en-20130926.bzr493-3.mga5 English Kicad locales linux/noarchlinux/noarch
kicad-locales-en-20111226.bzr304-3.mga3 English Kicad locales linux/noarchlinux/noarch
kicad-locales-en-20130926.bzr493-2.1.mga4 English Kicad locales linux/noarchlinux/noarch
kicad-locales-en-20130926.bzr493-2.mga4 English Kicad locales linux/noarchlinux/noarch
kicad-locales-en-20111226.bzr304-1.mga2 English Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20130926.bzr493-3.mga5 Spanish Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20111226.bzr304-3.mga3 Spanish Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20130926.bzr493-2.1.mga4 Spanish Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20130926.bzr493-2.mga4 Spanish Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20111226.bzr304-1.mga2 Spanish Kicad locales linux/noarchlinux/noarch
kicad-locales-es-20110602.bzr216-6 Spanish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-es-20111221.bzr303-1 Spanish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-fi-20130926.bzr493-3.mga5 Finnish Kicad locales linux/noarchlinux/noarch
kicad-locales-fi-20111226.bzr304-3.mga3 Finnish Kicad locales linux/noarchlinux/noarch
kicad-locales-fi-20130926.bzr493-2.1.mga4 Finnish Kicad locales linux/noarchlinux/noarch
kicad-locales-fi-20130926.bzr493-2.mga4 Finnish Kicad locales linux/noarchlinux/noarch
kicad-locales-fi-20111226.bzr304-1.mga2 Finnish Kicad locales linux/noarchlinux/noarch
kicad-locales-fi-20110602.bzr216-6 Finnish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-fi-20111221.bzr303-1 Finnish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-fr-20130926.bzr493-3.mga5 French Kicad locales linux/noarchlinux/noarch
kicad-locales-fr-20111226.bzr304-3.mga3 French Kicad locales linux/noarchlinux/noarch
kicad-locales-fr-20130926.bzr493-2.1.mga4 French Kicad locales linux/noarchlinux/noarch
kicad-locales-fr-20130926.bzr493-2.mga4 French Kicad locales linux/noarchlinux/noarch
kicad-locales-fr-20111226.bzr304-1.mga2 French Kicad locales linux/noarchlinux/noarch
kicad-locales-fr-20110602.bzr216-6 French Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-fr-20111221.bzr303-1 French Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-hu-20130926.bzr493-3.mga5 Hungarian Kicad locales linux/noarchlinux/noarch
kicad-locales-hu-20111226.bzr304-3.mga3 Hungarian Kicad locales linux/noarchlinux/noarch
kicad-locales-hu-20130926.bzr493-2.1.mga4 Hungarian Kicad locales linux/noarchlinux/noarch
kicad-locales-hu-20130926.bzr493-2.mga4 Hungarian Kicad locales linux/noarchlinux/noarch
kicad-locales-hu-20111226.bzr304-1.mga2 Hungarian Kicad locales linux/noarchlinux/noarch
kicad-locales-hu-20110602.bzr216-6 Hungarian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-hu-20111221.bzr303-1 Hungarian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-it-20130926.bzr493-3.mga5 Italian Kicad locales linux/noarchlinux/noarch
kicad-locales-it-20111226.bzr304-3.mga3 Italian Kicad locales linux/noarchlinux/noarch
kicad-locales-it-20130926.bzr493-2.1.mga4 Italian Kicad locales linux/noarchlinux/noarch
kicad-locales-it-20130926.bzr493-2.mga4 Italian Kicad locales linux/noarchlinux/noarch
kicad-locales-it-20111226.bzr304-1.mga2 Italian Kicad locales linux/noarchlinux/noarch
kicad-locales-it-20110602.bzr216-6 Italian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-it-20111221.bzr303-1 Italian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ja-20130926.bzr493-3.mga5 Japanese Kicad locales linux/noarchlinux/noarch
kicad-locales-ja-20111226.bzr304-3.mga3 Japanese Kicad locales linux/noarchlinux/noarch
kicad-locales-ja-20130926.bzr493-2.1.mga4 Japanese Kicad locales linux/noarchlinux/noarch
kicad-locales-ja-20130926.bzr493-2.mga4 Japanese Kicad locales linux/noarchlinux/noarch
kicad-locales-ja-20111226.bzr304-1.mga2 Japanese Kicad locales linux/noarchlinux/noarch
kicad-locales-ja-20110602.bzr216-6 Japanese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ja-20111221.bzr303-1 Japanese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ko-20130926.bzr493-3.mga5 Korean Kicad locales linux/noarchlinux/noarch
kicad-locales-ko-20111226.bzr304-3.mga3 Korean Kicad locales linux/noarchlinux/noarch
kicad-locales-ko-20130926.bzr493-2.1.mga4 Korean Kicad locales linux/noarchlinux/noarch
kicad-locales-ko-20130926.bzr493-2.mga4 Korean Kicad locales linux/noarchlinux/noarch
kicad-locales-ko-20111226.bzr304-1.mga2 Korean Kicad locales linux/noarchlinux/noarch
kicad-locales-ko-20110602.bzr216-6 Korean Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ko-20111221.bzr303-1 Korean Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-nl-20130926.bzr493-3.mga5 Dutch Kicad locales linux/noarchlinux/noarch
kicad-locales-nl-20111226.bzr304-3.mga3 Dutch Kicad locales linux/noarchlinux/noarch
kicad-locales-nl-20130926.bzr493-2.1.mga4 Dutch Kicad locales linux/noarchlinux/noarch
kicad-locales-nl-20130926.bzr493-2.mga4 Dutch Kicad locales linux/noarchlinux/noarch
kicad-locales-nl-20111226.bzr304-1.mga2 Dutch Kicad locales linux/noarchlinux/noarch
kicad-locales-nl-20110602.bzr216-6 Dutch Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-nl-20111221.bzr303-1 Dutch Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-pl-20130926.bzr493-3.mga5 Polish Kicad locales linux/noarchlinux/noarch
kicad-locales-pl-20111226.bzr304-3.mga3 Polish Kicad locales linux/noarchlinux/noarch
kicad-locales-pl-20130926.bzr493-2.1.mga4 Polish Kicad locales linux/noarchlinux/noarch
kicad-locales-pl-20130926.bzr493-2.mga4 Polish Kicad locales linux/noarchlinux/noarch
kicad-locales-pl-20111226.bzr304-1.mga2 Polish Kicad locales linux/noarchlinux/noarch
kicad-locales-pl-20110602.bzr216-6 Polish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-pl-20111221.bzr303-1 Polish Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-pt-20130926.bzr493-3.mga5 Portuguese Kicad locales linux/noarchlinux/noarch
kicad-locales-pt-20111226.bzr304-3.mga3 Portuguese Kicad locales linux/noarchlinux/noarch
kicad-locales-pt-20130926.bzr493-2.1.mga4 Portuguese Kicad locales linux/noarchlinux/noarch
kicad-locales-pt-20130926.bzr493-2.mga4 Portuguese Kicad locales linux/noarchlinux/noarch
kicad-locales-pt-20111226.bzr304-1.mga2 Portuguese Kicad locales linux/noarchlinux/noarch
kicad-locales-pt-20110602.bzr216-6 Portuguese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-pt-20111221.bzr303-1 Portuguese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ru-20130926.bzr493-3.mga5 Russian Kicad locales linux/noarchlinux/noarch
kicad-locales-ru-20111226.bzr304-3.mga3 Russian Kicad locales linux/noarchlinux/noarch
kicad-locales-ru-20130926.bzr493-2.1.mga4 Russian Kicad locales linux/noarchlinux/noarch
kicad-locales-ru-20130926.bzr493-2.mga4 Russian Kicad locales linux/noarchlinux/noarch
kicad-locales-ru-20111226.bzr304-1.mga2 Russian Kicad locales linux/noarchlinux/noarch
kicad-locales-ru-20110602.bzr216-6 Russian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-ru-20111221.bzr303-1 Russian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-sl-20130926.bzr493-3.mga5 Slovenian Kicad locales linux/noarchlinux/noarch
kicad-locales-sl-20111226.bzr304-3.mga3 Slovenian Kicad locales linux/noarchlinux/noarch
kicad-locales-sl-20130926.bzr493-2.1.mga4 Slovenian Kicad locales linux/noarchlinux/noarch
kicad-locales-sl-20130926.bzr493-2.mga4 Slovenian Kicad locales linux/noarchlinux/noarch
kicad-locales-sl-20111226.bzr304-1.mga2 Slovenian Kicad locales linux/noarchlinux/noarch
kicad-locales-sl-20110602.bzr216-6 Slovenian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-sl-20111221.bzr303-1 Slovenian Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-sv-20130926.bzr493-3.mga5 Salvadoran Kicad locales linux/noarchlinux/noarch
kicad-locales-sv-20111226.bzr304-3.mga3 Salvadoran Kicad locales linux/noarchlinux/noarch
kicad-locales-sv-20130926.bzr493-2.1.mga4 Salvadoran Kicad locales linux/noarchlinux/noarch
kicad-locales-sv-20130926.bzr493-2.mga4 Salvadoran Kicad locales linux/noarchlinux/noarch
kicad-locales-sv-20111226.bzr304-1.mga2 Salvadoran Kicad locales linux/noarchlinux/noarch
kicad-locales-sv-20110602.bzr216-6 Salvadoran Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-sv-20111221.bzr303-1 Salvadoran Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-zh-cn-20130926.bzr493-3.mga5 Chinese Kicad locales linux/noarchlinux/noarch
kicad-locales-zh-cn-20111226.bzr304-3.mga3 Chinese Kicad locales linux/noarchlinux/noarch
kicad-locales-zh-cn-20130926.bzr493-2.1.mga4 Chinese Kicad locales linux/noarchlinux/noarch
kicad-locales-zh-cn-20130926.bzr493-2.mga4 Chinese Kicad locales linux/noarchlinux/noarch
kicad-locales-zh-cn-20111226.bzr304-1.mga2 Chinese Kicad locales linux/noarchlinux/noarch
kicad-locales-zh-cn-20110602.bzr216-6 Chinese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
kicad-locales-zh-cn-20111221.bzr303-1 Chinese Kicad locales linux/noarchlinux/noarchlinux/noarchlinux/noarch
lexed-4.7-10.mga3 Lexicon analyser linux/x86_64linux/i586
lexed-4.7-11.mga4 Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586
lexed-4.7-9.mga1 Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586
lexed-4.7-9mdv2011.0 Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586
lexed-4.5.0-2mdk Lexicon analyser linux/i586
lexed-4.7-2mdv2007.1 Lexicon analyser linux/x86_64linux/i586
lexed-4.7-5mdv2008.0 Lexicon analyser linux/x86_64linux/ppclinux/i586
lexed-4.6-4mdk Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
lexed-4.6-3mdk Lexicon analyser linux/i586
lexed-4.7-8mdv2010.0 Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586
lexed-4.7-7mdv2009.0 Lexicon analyser linux/x86_64linux/i586linux/x86_64linux/i586
lib64cvc3_5-2.4.1-0 Shared libraries for automatic SMT theorem proving linux/x86_64
lib64cvc3_5-devel-2.4.1-0 Library and includes to use automatic SMT theorem proving linux/x86_64
libcvc3_5-2.4.1-0 Shared libraries for automatic SMT theorem proving linux/i586
libcvc3_5-devel-2.4.1-0 Library and includes to use automatic SMT theorem proving linux/i586
ltl2ba-1.1-1.mga4 Fast translation from LTL formulas to Buchi automata linux/x86_64linux/i586linux/x86_64linux/i586
mgcomp-1.4.1-0.1.20060mdk DyALog compiler for Linguistic Meta-Grammars linux/i586
mgcomp-1.4.3-1mdv2010.1 DyALog compiler for Linguistic Meta-Grammars linux/i586linux/i586linux/i586
mgcomp-1.4.0-1mdk DyALog compiler for Linguistic Meta-Grammars linux/i586linux/i586
mgcomp-1.4.1-2mdv2007.0 DyALog compiler for Linguistic Meta-Grammars linux/i586linux/i586linux/i586linux/i586linux/i586linux/i586
mgtools-1.0.1-0.1.20060mdk Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/i586
mgtools-2.2.1-2mdv2011.0 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/i586linux/x86_64linux/i586
mgtools-2.2.1-1mdv2010.1 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/i586
mgtools-1.0.1-2mdv2007.0 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
mgtools-0.0.1-3mdk Tools and scripts to edit and visualize Meta Grammars linux/i586linux/i586linux/x86_64
mgtools-1.0.1-5mdv2010.0 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/i586
mgtools-1.0.1-4mdv2009.0 Tools and scripts to edit and visualize Meta Grammars linux/x86_64linux/i586linux/x86_64linux/i586
mmorph-2.3.4.2-12 Morphology tool linux/x86_64linux/i586
mmorph-2.3.4.2-11 Morphology tool linux/x86_64linux/i586
mmorph-2.3.4.2-9mdv2010.1 Morphology tool linux/x86_64linux/i586
mmorph-2.3.4.2-4mdv2007.0 Morphology tool linux/x86_64linux/ppclinux/sparclinux/i586linux/x86_64linux/i586linux/x86_64linux/i586
mmorph-2.3.4.2-1mdk Morphology tool linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
mmorph-2.3.4.2-8mdv2009.0 Morphology tool linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64linux/i586
parser_server-2.0.2-3mdk Set of Perl scripts to setup a server of parsers linux/noarch
parserd-2.1.4-0.1.20060mdk A server of parsers linux/noarchlinux/noarch
parserd-2.1.3-1mdk A server of parsers linux/noarchlinux/noarch
parserd-2.1.4-2mdv2007.0 A server of parsers linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-2.1.1-2mdk A server of parsers linux/noarchlinux/noarch
parserd-2.2.1-1mdv2010.0 A server of parsers linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-2.1.4-4mdv2009.0 A server of parsers linux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-cgi-2.1.4-0.1.20060mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-cgi-2.1.3-1mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-cgi-2.1.4-2mdv2007.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-cgi-2.1.1-2mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-cgi-2.2.1-1mdv2010.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-cgi-2.1.4-4mdv2009.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-modperl-2.1.4-0.1.20060mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-modperl-2.1.3-1mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-modperl-2.1.4-2mdv2007.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-modperl-2.1.1-2mdk A mod_perl-based viewer for parserd linux/noarchlinux/noarch
parserd-modperl-2.2.1-1mdv2010.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
parserd-modperl-2.1.4-4mdv2009.0 A mod_perl-based viewer for parserd linux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-Forest-0.05-3mdk Perl module to convert between various formats for shared derivation forest linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-TAG-1.10-4mdk Perl module to convert between various formats for Tree Adjoining Grammars linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-forest_utils-0.100.0-2.mga3 Conversion between various formats for shared derivation forest linux/noarchlinux/noarch
perl-forest_utils-0.100.0-1.mga1 Conversion between various formats for shared derivation forest linux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-forest_utils-0.06-0.1.20060mdk Perl module to convert between various formats for shared derivation forest linux/noarchlinux/noarch
perl-forest_utils-0.07-3mdv2008.0 Perl module to convert between various formats for shared derivation forest linux/noarchlinux/noarch
perl-forest_utils-0.07-2mdv2007.0 Perl module to convert between various formats for shared derivation forest linux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-forest_utils-0.100.0-1mdv2010.0 Conversion between various formats for shared derivation forest linux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-forest_utils-0.07-5mdv2009.0 Perl module to convert between various formats for shared derivation forest linux/noarchlinux/noarchlinux/noarchlinux/noarch
perl-tag_utils-1.10-5.1.20060mdk Perl module to convert between various formats for Tree Adjoining Grammars linux/noarchlinux/noarch
picosat-936-7.mga3 Lightweight SAT solver linux/x86_64linux/i586
picosat-936-8.mga4 Lightweight SAT solver linux/x86_64linux/i586linux/x86_64linux/i586
picosat-936-6 Lightweight SAT solver linux/x86_64linux/i586linux/x86_64linux/i586
povray-3.7.0-0.20131116git39ce8a2.8.mga5 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.7.0-0.RC6.5.mga3.nonfree The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.7.0-0.RC7.4.mga4.nonfree The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.7.0-0.RC3.3.mga2 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-10.mga1 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-1mdv2007.1 Ray tracer linux/sparc
povray-3.6.1-9mdv2011.0 The Persistence of Vision Raytracer linux/x86_64linux/i586linux/x86_64linux/i586
povray-3.6.1-2mdv2007.1 Ray tracer linux/x86_64linux/i586
povray-3.6.1-4mdv2007.1 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-3mdv2008.0 The Persistence of Vision Raytracer linux/x86_64linux/ppclinux/i586
povray-3.6.1-4mdv2008.0 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-8mdv2010.1 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-1mdv2007.0 Ray tracer linux/i586
povray-3.6.1-1mdk Ray tracer linux/x86_64linux/i586linux/x86_64linux/i586linux/x86_64
povray-3.6.1-8mdv2010.0 The Persistence of Vision Raytracer linux/x86_64linux/i586
povray-3.6.1-7mdv2009.0 The Persistence of Vision Raytracer linux/x86_64linux/i586linux/x86_64linux/i586
povray-common-3.1g-18mdk Ray tracer librairies linux/i586linux/ia64
povray-common-3.1g-19mdk Ray tracer librairies linux/i586
povray-mpich-3.1g-18mdk Ray tracer linux/i586linux/ia64
povray-mpich-3.1g-20mdk Ray tracer linux/i586linux/i586
povray-mpich-3.1g-19mdk Ray tracer linux/i586linux/ppc
povray-official-3.1g-18mdk Ray tracer linux/i586linux/ia64
povray-official-3.1g-19mdk Ray tracer linux/i586
povray-pvm-3.1g-18mdk Ray tracer linux/i586linux/ia64
povray-pvm-3.1g-20mdk Ray tracer linux/i586linux/i586
povray-pvm-3.1g-19mdk Ray tracer linux/i586linux/ppc
povray-scenes-3.7.0-0.20131116git39ce8a2.8.mga5 POV-Ray example scenes linux/noarchlinux/noarch
refdb-0.9.8.1-1mdv2008.0 RefDB is a reference database and bibliography tool linux/ppc
refdb-0.9.8-0.pre5.1mdv2007.1 RefDB is a reference database and bibliography tool linux/sparc
refdb-0.9.9-5mdv2009.0 Reference database and bibliography tool linux/x86_64linux/i586
refdb-0.9.9-10mdv2011.0 Reference database and bibliography tool linux/x86_64linux/i586linux/x86_64linux/i586
refdb-0.9.8.1-1mdv2007.1 RefDB is a reference database and bibliography tool linux/x86_64linux/i586linux/x86_64linux/i586
refdb-0.9.9-7mdv2010.1 Reference database and bibliography tool linux/x86_64linux/i586
refdb-0.9.8.1-1mdv2007.0 RefDB is a reference database and bibliography tool linux/x86_64linux/i586
refdb-0.9.8-0.pre4.2mdv2007.0 RefDB is a reference database and bibliography tool linux/x86_64linux/i586
refdb-0.9.9-6mdv2009.1 Reference database and bibliography tool linux/x86_64linux/i586linux/x86_64linux/i586
tokenizer-5.3.5-1mdk Text segmenter linux/i586
tokenizer-5.4.1-1mdk Text segmenter linux/i586
why3-0.84-1.mga5 Software verification platform linux/x86_64Newlinux/i586New
why3-0.81-2.mga4 Software verification platform linux/x86_64linux/i586

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 19 16:44:07 2014