Fedora 19 Update: ocaml-ocamlgraph-1.8.3-1.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-9044
2013-05-24 19:28:19
--------------------------------------------------------------------------------

Name        : ocaml-ocamlgraph
Product     : Fedora 19
Version     : 1.8.3
Release     : 1.fc19
URL         : http://ocamlgraph.lri.fr/
Summary     : OCaml library for arc and node graphs
Description :
Ocamlgraph provides several different implementations of graph data
structures. It also provides implementations for a number of classical
graph algorithms like Kruskal's algorithm for MSTs, topological
ordering of DAGs, Dijkstra's shortest paths algorithm, and
Ford-Fulkerson's maximal-flow algorithm to name a few. The algorithms
and data structures are written functorially for maximal
reusability. Also has input and output capability for Graph Modeling
Language file format and Dot and Neato graphviz (graph visualization)
tools.

--------------------------------------------------------------------------------
Update Information:

See http://forge.ocamlcore.org/frs/shownotes.php?release_id=901 for changes in this release of ocaml-zarith.

See http://coq.inria.fr/download for changes in this release of coq.

See http://ocamlgraph.lri.fr/download/CHANGES for changes in this release of ocaml-ocamlgraph.

See https://gforge.inria.fr/frs/shownotes.php?release_id=7938 and https://gforge.inria.fr/frs/shownotes.php?release_id=7972 for changes in this release of gappa.

See https://gforge.inria.fr/frs/shownotes.php?release_id=7973 and https://gforge.inria.fr/frs/shownotes.php?release_id=7976 for changes in this release of gappalib-coq.

See http://frama-c.com/download/user-manual-Fluorine-20130501.pdf for changes in this release of frama-c.

See http://why.lri.fr/download/CHANGES for changes in this release of why.

See http://why3.lri.fr/doc-0.81/ for changes in this release of why3.

All other builds in this update are just rebuilds on top of changed libraries.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-ocamlgraph' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------