See https://coq.inria.fr/distrib/V8.5pl2/CHANGES for changes in this release of coq. Frama-c had a minor dependency issue fixed. All other builds are just rebuilds due to the new version of coq.
sudo dnf upgrade --advisory=FEDORA-2016-3f408bd89dPlease login to add feedback.
| coq-8.5pl2-1.fc24 | ||
| flocq-2.5.1-3.fc24 | ||
| frama-c-1.13-2.fc24 | ||
| gappalib-coq-1.2.1-3.fc24 | ||
| why-2.35-16.fc24 | ||
| why3-0.87.1-2.fc24 | ||
| zenon-0.8.2-2.fc24 |
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has reached 7 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.