alt-ergo
Automated theorem prover including linear arithmetic
Old Version: 0.93 -> New Version: 0.94
Project site: (http://alt-ergo.lri.fr)
archimedes
2D Quantum Monte Carlo simulator for semiconductor devices
Old Version: 0.9.1 -> New Version: 2.0.0
Project site: (http://www.gnu.org/software/archimedes/)
avarice
Program for interfacing the Atmel JTAG ICE to GDB
Old Version: 2.10 -> New Version: 2.12
Project site: (http://sourceforge.net/projects/avarice)
avrdude
Software for programming Atmel AVR Microcontroller
Old Version: 5.10 -> New Version: 5.11.1
Project site: (http://www.nongnu.org/avrdude)
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/)
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/)
gerbv
Gerber file viewer from the gEDA toolkit
Old Version: 2.5.0 -> New Version: 2.6.0
Project site: (http://gerbv.gpleda.org/index.html)
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/)
gnuradio
Software defined radio framework
Old Version: 3.4.0 -> New Version: 3.5.1
Project site: (http://www.gnuradio.org)
gnuradio-devel
GNU Radio
Old Version: 3.4.0 -> New Version: 3.5.1
Project site: (http://www.gnuradio.org)
gnuradio-doc
GNU Radio
Old Version: 3.4.0 -> New Version: 3.5.1
Project site: (http://www.gnuradio.org)
gnuradio-examples
GNU Radio
Old Version: 3.4.0 -> New Version: 3.5.1
Project site: (http://www.gnuradio.org)
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)
gtkwave
Waveform Viewer
Old Version: 3.3.25 -> New Version: 3.3.31
Project site: (http://gtkwave.sourceforge.net/)
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/)
iverilog
Icarus Verilog is a verilog compiler and simulator
Old Version: 0.9.20110317 -> New Version: 0.9.20111101
Project site: (http://www.icarus.com/eda/verilog/index.html)
kicad
Electronic schematic diagrams and printed circuit board artwork
Old Version: 2011.07.12 -> New Version: 2012.01.19
Project site: (https://launchpad.net/kicad)
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/)
ngspice
A mixed level/signal circuit simulator
Old Version: 22 -> New Version: 23
Project site: (http://ngspice.sourceforge.net)
octave
A high-level language for numerical computations
Old Version: 3.4.2 -> New Version: 3.6.0
Project site: (http://www.octave.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/)
pcb
An interactive printed circuit board editor
Old Version: 0.20100929 -> New Version: 0.20110918
Project site: (http://pcb.sourceforge.net)
perl-Verilog
Verilog parsing routines
Old Version: 3.212 -> New Version:
Project site: (http://www.veripool.org/wiki/verilog-perl)
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-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/)
vhd2vl
VHDL to Verilog translator
Old Version: 2.3 -> New Version: 2.4
Project site: (http://doolittle.icarus.com/~larry/vhd2vl/)
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/)