alt-ergo
Automated theorem prover including linear arithmetic
Old Version: 0.93 -> New Version: 0.94
Project site: (http://alt-ergo.lri.fr)
archimedes
archimedes is a 2D Quantum Monte Carlo simulator for semiconductor devices. New features for Fedora 17 include:
- Quantum Effective Potential modified
- Bohm Potential Model implemented
- Calibrated Bohm Model implemented
- Density Gradient corrected and tested
- Full effective potential model implemented
- New tests created
- Parabolic, Kane and Full band checked
- Full band Parameters for all materials
- Scattering phonons can be set to ON and OFF
- Support to Full Band approach
blas
The Basic Linear Algebra Subprograms library
Old Version: 3.3.1 -> New Version: 3.4.0
Project site: (http://www.netlib.org/lapack/)
boinc-client
The BOINC client core
Old Version: 6.10.58 -> New Version: 6.12.43
Project site: (http://boinc.berkeley.edu/)
boinc-manager
GUI to control and monitor boinc-client
Old Version: 6.10.58 -> New Version: 6.12.43
Project site: (http://boinc.berkeley.edu/)
cernlib-utils
CERN library compilation and environment setting scripts
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
coq
Proof management system
Old Version: 8.3pl2 -> New Version: 8.3pl3
Project site: (http://coq.inria.fr/)
coq-coqide
Coqide IDE for Coq proof management system
Old Version: 8.3pl2 -> New Version: 8.3pl3
Project site: (http://coq.inria.fr/)
coq-doc
Documentation for Coq proof management system
Old Version: 8.3pl2 -> New Version: 8.3pl3
Project site: (http://coq.inria.fr/)
coq-emacs
GNU Emacs support for Coq proof management system
Old Version: 8.3pl2 -> New Version: 8.3pl3
Project site: (http://coq.inria.fr/)
emacs-gnuplot
Emacs bindings for the gnuplot main application
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
emacs-gnuplot-el
Emacs bindings for the gnuplot main application
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
gabedit
GUI for computational chemistry
Old Version: 2.3.9 -> New Version: 2.4.0
Project site: (http://gabedit.sourceforge.net/home.html)
gdl
GNU Data Language
Old Version: 0.9.1 -> New Version: 0.9.2
Project site: (http://gnudatalanguage.sourceforge.net/)
gdl-common
Common files for GDL
Old Version: 0.9.1 -> New Version: 0.9.2
Project site: (http://gnudatalanguage.sourceforge.net/)
geant321
Particle detector description and simulation tool
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
geant321-g77
Particle detector description and simulation tool
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
geos
GEOS is a C++ port of the Java Topology Suite
Old Version: 3.3.1 -> New Version: 3.3.2
Project site: (http://trac.osgeo.org/geos/)
ginac
C++ library for symbolic calculations
Old Version: 1.5.8 -> New Version: 1.6.2
Project site: (http://www.ginac.de/)
gmp-ecm
Elliptic Curve Method for Integer Factorization
Old Version: 6.3 -> New Version: 6.4
Project site: (http://gforge.inria.fr/projects/ecm/)
gnome-chemistry-utils
A set of chemical utilities
Old Version: 0.12.9 -> New Version: 0.13.5
Project site: (http://www.nongnu.org/gchemutils/)
gnuplot
A program for plotting mathematical expressions and data
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
gnuplot-common
The common gnuplot parts
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
gnuplot-doc
Documentation fo bindings for the gnuplot main application
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
gnuplot-minimal
Minimal version of program for plotting mathematical expressions and data
Old Version: 4.4.3 -> New Version: 4.4.4
Project site: (http://www.gnuplot.info/)
grads
Tool for easy acces, manipulation, and visualization of data
Old Version: 2.0.a9 -> New Version: 2.0.1
Project site: (http://grads.iges.org/grads/grads.html)
grass
GRASS - Geographic Resources Analysis Support System
Old Version: 6.4.0 -> New Version: 6.4.1
Project site: (http://grass.fbk.eu)
grass-devel
GRASS (Geographic Resources Analysis Support System) development headers
Old Version: 6.4.0 -> New Version: 6.4.1
Project site: (http://grass.fbk.eu)
grass-libs
GRASS (Geographic Resources Analysis Support System) runtime libraries
Old Version: 6.4.0 -> New Version: 6.4.1
Project site: (http://grass.fbk.eu)
HippoDraw
Interactive and Python scriptable data analysis application
Old Version: 1.21.1 -> New Version: 1.21.3
Project site: (http://www.slac.stanford.edu/grp/ek/hippodraw/)
lapack
lapack has been updated to 3.4.0,
- xGEQRT: QR factorization (improved interface). xGEQRT is analogous to xGEQRF with a modified interface which enables better performance when the blocked reflectors need to be reused. The companion subroutines xGEMQRT apply the reflectors.
- xGEQRT3: recursive QR factorization. The recursive QR factorization enables cache-oblivious and enables high performance on tall and skinny matrices.
- xTPQRT: Communication-Avoiding QR sequential kernels. These subroutines are useful for updating a QR factorization and are used in sequential and parallel Communication Avoiding QR. These subroutines support the general case Triangle on top of Pentagon which includes as special cases so-called Triangle on top of Triangle and Triangle on top of Square. This is the right-looking version of the subroutines and the subroutines are blocked. The T matrices and the block size are part of the interface. The companion subroutines xTPMQRT apply the reflectors.
- LAPACKE - Standard C language APIs for LAPACK. Since LAPACK 3.3.0, LAPACK includes new C interfaces. With the LAPACK 3.4.0 release, LAPACKE is directly integrated within the LAPACK library and has been enriched by the full set of LAPACK subroutines. See here.
libmatheval
Library for parsing and evaluating symbolic expressions input as text
Old Version: 1.1.5 -> New Version: 1.1.8
Project site: (http://www.gnu.org/software/libmatheval/)
mapnik
Free Toolkit for developing mapping applications
Old Version: 0.7.1 -> New Version: 2.0.0
Project site: (http://mapnik.org/)
mathomatic
Small, portable symbolic math program
Old Version: 15.6.2 -> New Version: 15.7.3
Project site: (http://www.mathomatic.org/math/)
mathomatic-tools
Various small math tools from mathomatic
Old Version: 15.6.2 -> New Version: 15.7.3
Project site: (http://www.mathomatic.org/math/)
maxima
Symbolic Computation Program
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-gui
Tcl/Tk GUI interface for maxima
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-runtime-clisp
Maxima compiled with clisp
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-runtime-cmucl
Maxima compiled with CMUCL
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-runtime-gcl
Maxima compiled with GCL
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-runtime-sbcl
Maxima compiled with SBCL
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
maxima-src
maxima lisp source code
Old Version: 5.25.0 -> New Version: 5.26.0
Project site: (http://maxima.sourceforge.net/)
numpy
A fast multidimensional array facility for Python
Old Version: 1.6.0 -> New Version: 1.6.1
Project site: (http://numeric.scipy.org/)
octave
A high-level language for numerical computations
Old Version: 3.4.2 -> New Version: 3.6.0
Project site: (http://www.octave.org)
openbabel
Chemistry software file format converter
Old Version: 2.3.0 -> New Version: 2.3.1
Project site: (http://openbabel.org/)
paraview
Parallel visualization application
Old Version: 3.10.1 -> New Version: 3.12.0
Project site: (http://www.paraview.org/)
paraview-data
Data files for ParaView
Old Version: 3.10.1 -> New Version: 3.12.0
Project site: (http://www.paraview.org/)
paraview-devel
Old Version: -> New Version: 3.12.0
Project site: ()
paw
A program for the analysis and presentation of data
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
paw-g77
A program for the analysis and presentation of data
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
paw-gfortran
A program for the analysis and presentation of data
Old Version: 2006 -> New Version:
Project site: (http://cernlib.web.cern.ch/cernlib/)
plplot
Library of functions for making scientific plots
Old Version: 5.9.8 -> New Version: 5.9.9
Project site: (http://plplot.sourceforge.net/)
pspp
A program for statistical analysis of sampled data
Old Version: 0.6.2 -> New Version: 0.7.8
Project site: (http://www.gnu.org/software/pspp/)
python-fiat
Generation of arbitrary order instances of the Lagrange elements
Old Version: 0.9.9 -> New Version: 1.0.0
Project site: (http://www.fenicsproject.org)
python-instant
Python module for instant inlining of C and C++ code
Old Version: 0.9.9 -> New Version: 1.0.0
Project site: (http://www.fenicsproject.org)
qgis
A user friendly Open Source Geographic Information System
Old Version: 1.7.1 -> New Version: 1.7.3
Project site: (http://www.qgis.org)
qgis-grass
GRASS Support Libraries for Quantum GIS
Old Version: 1.7.1 -> New Version: 1.7.3
Project site: (http://www.qgis.org)
qgis-python
Python integration and plug-ins for Quantum GIS
Old Version: 1.7.1 -> New Version: 1.7.3
Project site: (http://www.qgis.org)
qtgpsc
A client for the gpsd GPS server
Old Version: 0.2.3 -> New Version: 0.3.1
Project site: (http://www.navlost.eu/survey/gpsd/)
R
A language for data analysis and graphics
Old Version: 2.13.1 -> New Version: 2.14.1
Project site: (http://www.r-project.org)
R-affyio
Tools for parsing Affymetrix data files
Old Version: 1.20.0 -> New Version: 1.22.0
Project site: (http://bioconductor.org/packages/release/bioc/html/affyio.html)
R-Biobase
Base functions for Bioconductor
Old Version: 2.12.2 -> New Version: 2.14.0
Project site: (http://bioconductor.org/packages/release/bioc/html/Biobase.html)
R-BufferedMatrix
A matrix data storage object method from bioconductor
Old Version: 1.16.0 -> New Version: 1.18.0
Project site: (http://bioconductor.org/packages/release/bioc/html/BufferedMatrix.html)
R-core
The minimal R components necessary for a functional runtime
Old Version: 2.13.1 -> New Version: 2.14.1
Project site: (http://www.r-project.org)
R-devel
Files for development of R packages
Old Version: 2.13.1 -> New Version: 2.14.1
Project site: (http://www.r-project.org)
R-GeneR
R for genes and sequences analysis
Old Version: 2.22.0 -> New Version: 2.24.0
Project site: (http://bioconductor.org/packages/release/bioc/html/GeneR.html)
R-hgu95av2probe
Probe sequence data for microarrays of type hgu95av2
Old Version: 2.8.0 -> New Version: 2.9.0
Project site: (http://www.bioconductor.org/packages/release/data/annotation/html/hgu95av2probe.html)
R-IRanges
Low-level containers for storing sets of integer ranges
Old Version: 1.10.4 -> New Version: 1.12.1
Project site: (http://bioconductor.org/packages/release/bioc/html/IRanges.html)
R-java
R with Fedora provided Java Runtime Environment
Old Version: 2.13.1 -> New Version: 2.14.1
Project site: (http://www.r-project.org)
R-java-devel
Development package for use with Java enabled R components
Old Version: 2.13.1 -> New Version: 2.14.1
Project site: (http://www.r-project.org)
R-lmtest
Testing Linear Regression Models for R
Old Version: 0.9 -> New Version: 0.9.29
Project site: (http://cran.r-project.org/web/packages/lmtest/index.html)
R-mvtnorm
Multivariate normal and T distribution R Package
Old Version: 0.9 -> New Version: 0.9.9991
Project site: (http://cran.r-project.org/web/packages/mvtnorm/index.html)
roundup
Simple and flexible issue-tracking system
Old Version: 1.4.15 -> New Version: 1.4.18
Project site: (http://roundup.sourceforge.net/)
R-qcc
R-qcc is new to Fedora. R-qcc is an R package which provides a rich set of quality control and statistical process control tools, including:
- Plot Shewhart quality control charts
- Plot Cusum and EMWA charts for continuous data
- Draw operating characteristic curves
- Perform process capability analysis
- Draw Pareto charts and Ishikawa diagrams
R-qtl
Tools for analyzing QTL experiments
Old Version: 1.21.2 -> New Version: 1.22.21
Project site: (http://www.rqtl.org/)
R-qvalue
Q-value estimation for false discovery rate control
Old Version: 1.26.0 -> New Version: 1.28.0
Project site: (http://bioconductor.org/packages/release/bioc/html/qvalue.html)
R-RSQLite
SQLite database interface for R
Old Version: 0.9.1 -> New Version: 0.10.0
Project site: (http://cran.r-project.org/web/packages/RSQLite/index.html)
R-systemfit
Simultaneous Equation Estimation R Package
Old Version: 1.1 -> New Version: 1.1.11
Project site: (http://r-forge.r-project.org/projects/systemfit/)
R-zoo
Z's ordered observations for irregular time series
Old Version: 1.6 -> New Version: 1.7.6
Project site: (http://cran.r-project.org/web/packages/zoo/index.html)
seaview
Graphical multiple sequence alignment editor
Old Version: 4.2.12 -> New Version: 4.3.2
Project site: (http://pbil.univ-lyon1.fr/software/seaview.html)
tcd-utils
TCD (Tide Constituent Database) Utils
Old Version: 20080820 -> New Version: 20120115
Project site: (http://www.flaterco.com/xtide/)
veusz
GUI scientific plotting package
Old Version: 1.12 -> New Version: 1.14
Project site: (http://home.gna.org/veusz/)
vtk-examples
Examples for VTK
Old Version: 5.6.1 -> New Version: 5.8.0
Project site: (http://vtk.org/)
vtk-testing
Testing programs for VTK
Old Version: 5.6.1 -> New Version: 5.8.0
Project site: (http://vtk.org/)
wgrib
Manipulate, inventory and decode GRIB files
Old Version: 1.8.1.0h -> New Version: 1.8.1.2a
Project site: (http://www.cpc.ncep.noaa.gov/products/wesley/wgrib.html)
wgrib2
Manipulate, inventory and decode GRIB2 files
Old Version: 1.9.4 -> New Version: 1.9.5.1
Project site: (http://www.cpc.ncep.noaa.gov/products/wesley/wgrib2/)
why
Software verification platform
Old Version: 2.29 -> New Version: 2.30
Project site: (http://why.lri.fr/)
why-coq
Libraries for interfacing Coq with Why
Old Version: 2.29 -> New Version: 2.30
Project site: (http://why.lri.fr/)
why-gwhy
IDE for Why software verification platform
Old Version: 2.29 -> New Version: 2.30
Project site: (http://why.lri.fr/)
xtide
Calculate tide all over the world
Old Version: 2.12 -> New Version: 2.12.1
Project site: (http://www.flaterco.com/xtide/)
xtide-common
Xtide common files
Old Version: 2.12 -> New Version: 2.12.1
Project site: (http://www.flaterco.com/xtide/)