stable

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

FEDORA-2015-4421 created by jjames 10 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.

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

10 years ago

This update has been pushed to testing

10 years ago

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

10 years ago

This update has been submitted for stable by jjames.

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

10 years ago

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

10 years ago

This update has been pushed to stable

10 years ago

Please log in to add feedback.

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

Automated Test Results