Fedora 20 Update: ocaml-ocamlgraph-1.8.5-1.fc20

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-5772
2014-04-30 02:59:30
--------------------------------------------------------------------------------

Name        : ocaml-ocamlgraph
Product     : Fedora 20
Version     : 1.8.5
Release     : 1.fc20
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:

flocq version 2.3.0 changes:
- moved some lemmas from Fcalc_digits to Fcore_digits and made them axiom-free
- used the square root from the standard library instead of a custom one
- added an example about sqrt(sqr(x))

ocaml-ocamlgraph 1.8.5 changes:
- Graphviz: reverted to the old API where edges and vertices are given a single style attribute; but such attributes are collected and output in the DOT file into a list (thus allowing multiple style attributes)
- fixed issue in ./configure with ocamlfind on Win32.
- fixed compilation when laglgnomecanvas is missing (bug introduced in 1.8.4).
- fixed more issues with 'make -j'.

All other packages are rebuilds for one or both of flocq and ocaml-ocamlgraph.
--------------------------------------------------------------------------------
ChangeLog:

* Mon Apr 21 2014 Jerry James <loganjerry at gmail.com> - 1.8.5-1
- New upstream release
* Wed Feb 26 2014 Jerry James <loganjerry at gmail.com> - 1.8.4-1
- New upstream release, 1.8.4+dev, where the "+dev" refers to a bug fix
  that was applied immediately after the 1.8.4 release
- Drop upstreamed patch
- Install graph.cmxs and enable the -debuginfo subpackage
- Update expected test results
- BR ocaml-findlib only, not ocaml-findlib-devel
- Install graph editing tools into -tools subpackage
- Fix the bytecode build
* Wed Oct  2 2013 Richard W.M. Jones <rjones at redhat.com> - 1.8.3-5
- Rebuild for ocaml-lablgtk 2.18.
* Sat Sep 14 2013 Richard W.M. Jones <rjones at redhat.com> - 1.8.3-4
- Rebuild for OCaml 4.01.0.
--------------------------------------------------------------------------------

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