Changes to ocaml-mlgmpidl:
Changes in frama-c Silicon:
Changes in why 2.37:
Changes in why 2.38:
All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild.
sudo dnf upgrade --advisory=FEDORA-2017-7be55a4bd6
Please login to add feedback.
apron-0.9.11-6.1097.svn20160801.fc26 | ||
flocq-2.5.2-6.fc26 | ||
frama-c-1.14-1.fc26 | ||
gappalib-coq-1.3.2-4.fc26 | ||
ocaml-mlgmpidl-1.2.1-0.21.20150921.fc26 | ||
why-2.38-1.fc26 | ||
why3-0.87.3-3.fc26 |
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
This update has been pushed to stable.