Documentation Scientific and Technical Beat

Beat is open
This beat is now ready to have Fedora 25 content added by the beat writer

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/)