stable

alt-ergo-0.99.1-4.fc22, frama-c-1.10-21.fc22, & 3 more

FEDORA-2015-4421 created by jjames 9 years ago for Fedora 22

Changes in ocaml-ocamlgraph 1.8.6 - Dominator: new functor [Make_graph] with may use graph building operations, while the old functor [Make] now only requires a read-only graph. - Graphviz: support for additional polygonal-shapes - New module Clique (contributed by Giselle Reis) - Avoid ocamldoc error with OCaml 4.02 - Path: function weight now has the more general type "edge -> t" (contributed by Steffen Smolka); update your code by turning "weight l" into "weight (G.E.label e)" - installation: "make install-findlib" now uses DESTDIR when defined - Traverse: documentation is clarified: providing iterators over the roots of the graph is enough. - Imperative concrete (di)graph: fix bug of functions add_edge* of imperative concrete (di)graphs which appears when the added edge [e] was already in the graph [g] and one of the vertices of [e] is equal to another vertex of [g] (when using the user-defined equality [G.V.equal]), but not physically equal to it. This bug only occurs with OCaml version >= 4.0. - functions in modules Components, Dominator, Flow, Topological and Traverse now create smaller auxiliary hash tables - Graphviz: add the attribute `HtmlLabel to specify html strings.

All other packages in this update are rebuilds against the new ocaml-ocamlgraph package.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2015-4421

This update has been submitted for testing by jjames.

9 years ago

Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/49842/steps/runtask/logs/stdio (results are informative only)

Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/49842/steps/runtask/logs/stdio (results are informative only)

This update is currently being pushed to the Fedora 22 testing updates repository.

9 years ago

This update has been pushed to testing

9 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

9 years ago

This update has been submitted for stable by jjames.

9 years ago

Taskotron: upgradepath test PASSED on noarch. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/51637/steps/runtask/logs/stdio (results are informative only)

This update is currently being pushed to the Fedora 22 stable updates repository.

9 years ago

This update is currently being pushed to the Fedora 22 stable updates repository.

9 years ago

This update has been pushed to stable

9 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
disabled
Dates
submitted
9 years ago
in testing
9 years ago
in stable
9 years ago

Automated Test Results