Changes in alt-ergo:

  • Filter out Requires that we do not Provide

Changes in coq:

  • We used a preliminary upstream patch for ocaml 4.10 support in the previous build. Upstream ultimately chose a different approach, so this build uses the presumed final ocaml 4.10 patch.

Changes in flocq 3.2.1 and gappalib-coq 1.4.3:

  • Add compatibility with coq 8.11.0

Changes in frama-c:

  • Fix a variety of problems that made frama-c fail to start

Changes in ocaml-zip:

Changes in why3:

  • Make the dependencies on ocaml-num and ocaml-zip explicit

The ocaml-dose3, ocaml-ocamlnet, and opam builds are simple rebuilds due to the other changes.

How to install

sudo dnf upgrade --advisory=FEDORA-2020-71d1e460e6

This update has been submitted for testing by jjames.

4 months ago

This update's test gating status has been changed to 'waiting'.

4 months ago

This update's test gating status has been changed to 'ignored'.

4 months ago

This update has been pushed to testing.

4 months ago

jjames edited this update.

New build(s):

  • why3-1.3.1-4.fc32

Removed build(s):

  • why3-1.3.1-3.fc32

Karma has been reset.

4 months ago

This update has been submitted for testing by jjames.

4 months ago

This update has been pushed to testing.

4 months ago

This update can be pushed to stable now if the maintainer wishes

4 months ago

This update has been submitted for stable by bodhi.

4 months ago

This update has been pushed to stable.

4 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 months ago
in testing
4 months ago
in stable
4 months ago
modified
4 months ago
BZ#1795083 The frama-c and frama-c-gui programs abort on startup in Rawhide (f32)
0
0
BZ#1817878 Useless Requires for Why3
0
0

Automated Test Results