|
|
| (42 intermediate revisions by 4 users not shown) |
| Line 1: |
Line 1: |
| {{header|docs}} | | {{header|docs}} |
| | |
| {{Docs_beat_open}} | | {{Docs_beat_open}} |
|
| |
|
| |
| ==== 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 ====
| |
|
| |
| Numerical linear algebra package libraries
| |
|
| |
| Old Version: 3.3.1 -> New Version: 3.4.0
| |
|
| |
| Project site: (http://www.netlib.org/lapack/)
| |
|
| |
|
| |
| ==== 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/)
| |
|
| |
|
| |
| ===304 packages checked, 91 differences.===
| |
|
| |
|
| [[Category:Docs Project]] | | [[Category:Docs Project]] |
| [[Category:Draft documentation]] | | [[Category:Draft documentation]] |
| [[Category:Documentation beats]] | | [[Category:Documentation beats]] |
