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

RPM of Group Sciences/Computer science

acabit-en-26112003-9mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarch
acabit-fr-4.3-8mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarch
bibutils-4.11-1mdv2011.0 Inter-convert between various bibliography formats linux/i586
brilltagger-1.14-11mdv2011.0 Rule based tagger linux/i586
coq-8.3pl3-1 The Coq Proof Assistant linux/i586
coq-8.3-3mdv2011.0 The Coq Proof Assistant linux/i586
coq-ide-8.3pl3-1 The Coq Integrated Development Interface linux/i586
coq-ide-8.3-3mdv2011.0 The Coq Integrated Development Interface linux/i586
dyalog-1.12.0-3mdv2010.1 Compiler for tabular execution of logic programs linux/i586
dyalog-sqlite-1.0.1-1mdv2010.1 DyAlog SQLITE module linux/i586
dyalog-xml-1.0.4-1mdv2010.1 DyAlog XML module linux/i586
fastr-2.04-11mdv2009.0 A tool for automatic indexing linux/i586
flemm-3.1-10mdv2011.0 Inflectional analysis on French texts linux/noarch
frmg-1.2.0-1mdv2010.1 Small preliminary example of a French grammar based on DyAlog linux/i586
frmg-viewer-1.2.0-1mdv2010.1 frmg viewer linux/i586
fsa-0.45-1mdv2008.1 Finite state automata package linux/i586
fsa-tcl-0.45-1mdv2008.1 Tcl/Tk interface for fsa linux/i586
imagej-1.45b-2 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.45b-2 Javadocs for imagej linux/noarch
kicad-20111228.bzr3254-1 An open source software for the creation of electronic schematic diagrams linux/i586
kicad-20110525.bzr3009-6 An open source software for the creation of electronic schematic diagrams linux/i586
kicad-doc-20111221.bzr303-1 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-doc-20110602.bzr216-6 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-20111126.bzr112-1 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-20101208.bzr109-6 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-locales-20110602.bzr216-5 Kicad locales linux/noarch
kicad-locales-ca-20111221.bzr303-1 Catalan Kicad locales linux/noarch
kicad-locales-ca-20110602.bzr216-6 Catalan Kicad locales linux/noarch
kicad-locales-cs-20111221.bzr303-1 Czech Kicad locales linux/noarch
kicad-locales-cs-20110602.bzr216-6 Czech Kicad locales linux/noarch
kicad-locales-de-20111221.bzr303-1 German Kicad locales linux/noarch
kicad-locales-de-20110602.bzr216-6 German Kicad locales linux/noarch
kicad-locales-es-20111221.bzr303-1 Spanish Kicad locales linux/noarch
kicad-locales-es-20110602.bzr216-6 Spanish Kicad locales linux/noarch
kicad-locales-fi-20111221.bzr303-1 Finnish Kicad locales linux/noarch
kicad-locales-fi-20110602.bzr216-6 Finnish Kicad locales linux/noarch
kicad-locales-fr-20111221.bzr303-1 French Kicad locales linux/noarch
kicad-locales-fr-20110602.bzr216-6 French Kicad locales linux/noarch
kicad-locales-hu-20111221.bzr303-1 Hungarian Kicad locales linux/noarch
kicad-locales-hu-20110602.bzr216-6 Hungarian Kicad locales linux/noarch
kicad-locales-it-20111221.bzr303-1 Italian Kicad locales linux/noarch
kicad-locales-it-20110602.bzr216-6 Italian Kicad locales linux/noarch
kicad-locales-ja-20111221.bzr303-1 Japanese Kicad locales linux/noarch
kicad-locales-ja-20110602.bzr216-6 Japanese Kicad locales linux/noarch
kicad-locales-ko-20111221.bzr303-1 Korean Kicad locales linux/noarch
kicad-locales-ko-20110602.bzr216-6 Korean Kicad locales linux/noarch
kicad-locales-nl-20111221.bzr303-1 Dutch Kicad locales linux/noarch
kicad-locales-nl-20110602.bzr216-6 Dutch Kicad locales linux/noarch
kicad-locales-pl-20111221.bzr303-1 Polish Kicad locales linux/noarch
kicad-locales-pl-20110602.bzr216-6 Polish Kicad locales linux/noarch
kicad-locales-pt-20111221.bzr303-1 Portuguese Kicad locales linux/noarch
kicad-locales-pt-20110602.bzr216-6 Portuguese Kicad locales linux/noarch
kicad-locales-ru-20111221.bzr303-1 Russian Kicad locales linux/noarch
kicad-locales-ru-20110602.bzr216-6 Russian Kicad locales linux/noarch
kicad-locales-sl-20111221.bzr303-1 Slovenian Kicad locales linux/noarch
kicad-locales-sl-20110602.bzr216-6 Slovenian Kicad locales linux/noarch
kicad-locales-sv-20111221.bzr303-1 Salvadoran Kicad locales linux/noarch
kicad-locales-sv-20110602.bzr216-6 Salvadoran Kicad locales linux/noarch
kicad-locales-zh-cn-20111221.bzr303-1 Chinese Kicad locales linux/noarch
kicad-locales-zh-cn-20110602.bzr216-6 Chinese Kicad locales linux/noarch
lexed-4.7-9mdv2011.0 Lexicon analyser linux/i586
mgcomp-1.4.3-1mdv2010.1 DyALog compiler for Linguistic Meta-Grammars linux/i586
mgtools-2.2.1-2mdv2011.0 Tools and scripts to edit and visualize Meta Grammars linux/i586
mmorph-2.3.4.2-11 Morphology tool linux/i586
parserd-2.2.1-1mdv2010.0 A server of parsers linux/noarch
parserd-cgi-2.2.1-1mdv2010.0 A mod_perl-based viewer for parserd linux/noarch
parserd-modperl-2.2.1-1mdv2010.0 A mod_perl-based viewer for parserd linux/noarch
perl-forest_utils-0.100.0-1mdv2010.0 Conversion between various formats for shared derivation forest linux/noarch
picosat-936-6 Lightweight SAT solver linux/i586
povray-3.6.1-9mdv2011.0 The Persistence of Vision Raytracer linux/i586
refdb-0.9.9-10mdv2011.0 Reference database and bibliography tool linux/i586

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Aug 10 10:46:56 2014