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

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4336
2014-03-26 04:32:46
--------------------------------------------------------------------------------

Name        : ocaml-ocamlgraph
Product     : Fedora 20
Version     : 1.8.4
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:

Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage

Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454

Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES

gappalib-coq was merely rebuilt due to changed dependencies.

Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.

Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html

Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362.html

Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:

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