Fedora 20 Update: frama-c-1.10-4.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : frama-c
Product : Fedora 20
Version : 1.10
Release : 4.fc20
URL : http://frama-c.com/
Summary : Framework for source code analysis of C software
Description :
Frama-C is a suite of tools dedicated to the analysis of the source
code of software written in C.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 1.10-4
- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry(a)gmail.com> - 1.10-3
- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 1.10-2
- Fix the icon name in the desktop file
- Install icons
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
- Fix permissions later, else they get reset to the bad values
* Mon Mar 17 2014 Jerry James <loganjerry(a)gmail.com> - 1.10-1
- Update to Neon version
- All patches have been upstreamed; drop them
- The manuals are no longer included in the source distribution; add as Sources
- BR ocaml-findlib instead of ocaml-findlib-devel
- BR why3 to get coq + why3 support in the wp plugin
* Wed Feb 26 2014 Jerry James <loganjerry(a)gmail.com> - 1.9-9
- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.
- Add an Appdata file.
* Wed Oct 2 2013 Richard W.M. Jones <rjones(a)redhat.com> - 1.9-8
- Rebuild for ocaml-lablgtk 2.18.
* Mon Sep 16 2013 Jerry James <loganjerry(a)gmail.com> - 1.9-7
- Rebuild for OCaml 4.01.0
- Enable debuginfo
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update frama-c' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: zenon-0.7.1-10.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : zenon
Product : Fedora 20
Version : 0.7.1
Release : 10.fc20
URL : http://focal.inria.fr/zenon/
Summary : Automated theorem prover for first-order classical logic
Description :
Zenon is an automated theorem prover for first order classical logic
with equality, based on the tableau method. Zenon can read input files
in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly
generate Coq proofs (proof scripts or proof terms), which can be
reinserted into Coq specifications. Zenon can also be extended.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 0.7.1-10
- Rebuild for coq 8.4pl4
* Sat Dec 21 2013 Ville Skyttä <ville.skytta(a)iki.fi> - 0.7.1-9
- Pass -g to ocamlopt, don't strip executable too early.
* Wed Dec 18 2013 Jerry James <loganjerry(a)gmail.com> - 0.7.1-8
- Rebuild for coq 8.4pl3
- Enable debuginfo generation
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update zenon' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: coq-8.4pl4-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : coq
Product : Fedora 20
Version : 8.4pl4
Release : 1.fc20
URL : http://coq.inria.fr/
Summary : Proof management system
Description :
Coq is a formal proof management system. It allows for the development
of theorems through first order logic that are mechanically checked by
the machine. Sets of definitions and theorems can be saved as compiled
modules and loaded into the system.
This package provides the main Coq binary without an optional IDE,
Coqide.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 8.4pl4-1
- New upstream release
* Thu Jan 23 2014 Jerry James <loganjerry(a)gmail.com> - 8.4pl3-2
- Rebuild with fixed hevea package to get good HTML docs
- Hevea is now available on all architectures that support ocaml
- Drop Fedora 18 compatibility now that F-18 has reached EOL
- Add AppData file
* Mon Dec 16 2013 Jerry James <loganjerry(a)gmail.com> - 8.4pl3-1
- New upstream release
* Wed Oct 2 2013 Richard W.M. Jones <rjones(a)redhat.com> - 8.4pl2-4
- Rebuild for ocaml-lablgtk 2.18.
* Mon Sep 16 2013 Jerry James <loganjerry(a)gmail.com> - 8.4pl2-3
- Rebuild for OCaml 4.01.0
- Enable debuginfo
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update coq' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: gappalib-coq-1.0.0-8.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : gappalib-coq
Product : Fedora 20
Version : 1.0.0
Release : 8.fc20
URL : http://gappa.gforge.inria.fr/
Summary : Coq support library for gappa
Description :
This support library provides vernacular files so that the certificates
Gappa generates can be imported by the Coq proof assistant. It also
provides a "gappa" tactic that calls Gappa on the current Coq goal.
Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques --
automatic proof generation of arithmetic properties) is a tool intended
to help verifying and formally proving properties on numerical programs
dealing with floating-point or fixed-point arithmetic.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 1.0.0-8
- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry(a)gmail.com> - 1.0.0-7
- Rebuild for flocq 2.3.0
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 1.0.0-6
- Rebuild for flocq 2.2.2
* Wed Dec 18 2013 Jerry James <loganjerry(a)gmail.com> - 1.0.0-5
- Rebuild for coq 8.4pl3
* Mon Sep 16 2013 Jerry James <loganjerry(a)gmail.com> - 1.0.0-4
- Rebuild for OCaml 4.01.0
- Enable debuginfo
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gappalib-coq' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: flocq-2.3.0-2.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : flocq
Product : Fedora 20
Version : 2.3.0
Release : 2.fc20
URL : http://flocq.gforge.inria.fr/
Summary : Formalization of floating point numbers for Coq
Description :
Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a
multi-radix multi-precision arithmetic. It also supports efficient
numerical computations inside Coq.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 2.3.0-2
- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry(a)gmail.com> - 2.3.0-1
- New upstream release
* Mon Jan 27 2014 Jerry James <loganjerry(a)gmail.com> - 2.2.2-1
- New upstream release
* Wed Dec 18 2013 Jerry James <loganjerry(a)gmail.com> - 2.2.0-2
- Rebuild for coq 8.4pl3
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update flocq' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: why3-0.83-5.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : why3
Product : Fedora 20
Version : 0.83
Release : 5.fc20
URL : http://why3.lri.fr/
Summary : Software verification platform
Description :
Why3 is the next generation of the Why software verification platform.
Why3 clearly separates the purely logical specification part from
generation of verification conditions for programs. It features a rich
library of proof task transformations that can be chained to produce a
suitable input for a large set of theorem provers, including SMT
solvers, TPTP provers, as well as interactive proof assistants.
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 0.83-5
- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry(a)gmail.com> - 0.83-4
- Rebuild for flocq 2.3.0 and ocamlgraph 1.8.5
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 0.83-3
- Apply upstream fix for building with ocaml-zarith
- Fix file encodings
- Fix permission bits
* Tue Mar 18 2014 Jerry James <loganjerry(a)gmail.com> - 0.83-2
- Back out the post-release fix to the Coq printer, which breaks Frama-C
* Fri Mar 14 2014 Jerry James <loganjerry(a)gmail.com> - 0.83-1
- New upstream release
- Use cvc4 instead of cvc3
* Wed Feb 26 2014 Jerry James <loganjerry(a)gmail.com> - 0.82-2
- Rebuild for ocamlgraph 1.8.4
- BR ocaml-findlib instead of ocaml-findlib-devel
* Fri Dec 13 2013 Jerry James <loganjerry(a)gmail.com> - 0.82-1
- New upstream release
- Drop upstreamed patches
- Add -examples subpackage
- Install LaTeX style
- Turn off frama-c support at upstream's request
* Mon Sep 30 2013 Jerry James <loganjerry(a)gmail.com> - 0.81-6
- Apply upstream fix for change in the alt-ergo timelimit option
* Tue Sep 17 2013 Jerry James <loganjerry(a)gmail.com> - 0.81-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo for the ocaml sources
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update why3' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: why-2.34-4.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7431
2014-06-17 22:43:46
--------------------------------------------------------------------------------
Name : why
Product : Fedora 20
Version : 2.34
Release : 4.fc20
URL : http://why.lri.fr/
Summary : Software verification platform
Description :
Why is a software verification platform that applies formal proving
tools to annotated programs. It is currently capable of analysis of C
(through "Frama-C"), Java (through the included tool "Krakatoa"), and
potentially ML programs with some modification into Why's own ML-like
language. Furthermore, Why is capable of analysis of any program that
is mapped onto its own internal language. It uses a weakest
precondition involving calculus to generate potential theorems necessary
for the proof of a program's correctness. It translates these theorems
into formats that can be used by external proof assistants (without any
extra work Coq, PVS, HOL Light, and Mizar are supported - having one is
recommended and both Coq and PVS are packaged for Fedora) and automated
theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3,
CVC3, and Zenon are supported and Alt-Ergo, CVC3, and Zenon are packaged
for Fedora) so that these results can be externally proven, resulting in
a proof of program correctness.
Note: Each user account must be set up by running "why-config" at the
command line (to set up a configuration file).
--------------------------------------------------------------------------------
Update Information:
See http://coq.inria.fr/distrib/V8.4pl4/CHANGES for the bug fixes and enhancements in coq 8.4pl4. All other packages in this update are merely rebuilds for the new version of coq.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 13 2014 Jerry James <loganjerry(a)gmail.com> - 2.34-4
- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James <loganjerry(a)gmail.com> - 2.34-3
- Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0
- Add -flocq23 patch to adapt to flocq 2.3.0
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 2.34-2
- Remove dropped patches
- Add icons
- Fix the desktop icon entries
* Tue Mar 18 2014 Jerry James <loganjerry(a)gmail.com> - 2.34-1
- New upstream release
- Drop upstreamed -hashtbl, -flocq, and -or patches
- Add ocaml-findlib BR
* Wed Feb 26 2014 Jerry James <loganjerry(a)gmail.com> - 2.33-6
- Rebuild for ocamlgraph 1.8.4
- Update desktop files
- Add AppData files for gwhy and jessie
* Tue Sep 17 2013 Jerry James <loganjerry(a)gmail.com> - 2.33-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo
- Add -or patch to fix warnings, since warnings are errors
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update why' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 19 Update: python-gensim-0.10.0-1.fc19
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7429
2014-06-17 22:43:41
--------------------------------------------------------------------------------
Name : python-gensim
Product : Fedora 19
Version : 0.10.0
Release : 1.fc19
URL : http://radimrehurek.com/gensim/
Summary : Python framework for fast Vector Space Modelling
Description :
Gensim is a Python library for topic modelling, document indexing
and similarity retrieval with large corpora. Target audience is
the natural language processing (NLP) and information retrieval
(IR) community.
Features:
* All algorithms are memory-independent w.r.t. the corpus size
(can process input larger than RAM).
* Intuitive interfaces
- easy to plug in your own input corpus/datastream (trivial
streaming API)
- easy to extend with other Vector Space algorithms (trivial
transformation API)
* Efficient implementations of popular algorithms, such as online
Latent Semantic Analysis (LSA/LSI), Latent Dirichlet Allocation (LDA),
Random Projections (RP), Hierarchical Dirichlet Process (HDP) or
word2vec deep learning.
* Distributed computing: can run Latent Semantic Analysis and Latent
Dirichlet Allocation on a cluster of computers, and word2vec on
multiple cores.
* Extensive HTML documentation and tutorials.
--------------------------------------------------------------------------------
Update Information:
**new upstream release**
* full Python 3 support (targeting 3.3+, #196)
* all internal methods now expect & store unicode, instead of utf8
* new optimized word2vec functionality: negative sampling, cbow (sebastien-j, #162)
* allow by-frequency sort in Dictionary.save_as_text (Renaud Richardet, #192)
* add topic printing to HDP model (Tiepes, #190)
* new gensim_addons package = optional install-time Cython compilations (Björn Esser, #197)
* added py3.3 and 3.4 to Travis CI tests
* fix a cbow word2vec bug (Liang-Chi Hsieh)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1100734 - python-gensim-0.10.0 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1100734
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update python-gensim' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: xorg-x11-server-1.14.4-10.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7665
2014-06-24 01:17:53
--------------------------------------------------------------------------------
Name : xorg-x11-server
Product : Fedora 20
Version : 1.14.4
Release : 10.fc20
URL : http://www.x.org
Summary : X.Org X11 X server
Description :
X.Org X11 X server
--------------------------------------------------------------------------------
Update Information:
Fix coordinate scaling so we're independent of the screen res (#1104789)
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jun 23 2014 Peter Hutterer <peter.hutterer(a)redhat.com> 1.14.4-10
- Fix coordinate scaling so we're independent of the screen res (#1104789)
* Wed May 14 2014 Peter Hutterer <peter.hutterer(a)redhat.com> 1.14.4-9
- Revert button mapping for Evoluent Vertical mouse, the default mapping
matches the manufacturer's documentation (#612140)
* Tue Apr 8 2014 Ray Strode <rstrode(a)redhat.com> 1.14.4-8
- Apply Daniel Stone's off-by-one fix to one of the wayland patches
* Fri Feb 28 2014 Peter Hutterer <peter.hutterer(a)redhat.com> 1.14.4-7
- Search all parent devices for a PnPID.
* Wed Feb 5 2014 Peter Hutterer <peter.hutterer(a)redhat.com> 1.14.4-6
- Prevent out-of-bounds access in check_butmap_change (#1061466)
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update xorg-x11-server' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months
Fedora 20 Update: iputils-20140519-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7656
2014-06-24 01:17:34
--------------------------------------------------------------------------------
Name : iputils
Product : Fedora 20
Version : 20140519
Release : 1.fc20
URL : https://github.com/iputils/iputils
Summary : Network monitoring tools including ping
Description :
The iputils package contains basic utilities for monitoring a network,
including ping. The ping command sends a series of ICMP protocol
ECHO_REQUEST packets to a specified network host to discover whether
the target machine is alive and receiving network traffic.
--------------------------------------------------------------------------------
Update Information:
Update to iputils-s20140519; fix unwanted behavior when options inet6 is set in /etc/resolv.conf
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 20 2014 Jan Synáček <jsynacek(a)redhat.com> - 20140519-1
- Update to iputils-s20140519
- Related: #1096415
* Fri Apr 11 2014 Jan Synáček <jsynacek(a)redhat.com> - 20121221-6
- Fix arping hang if SIGALRM is blocked (#1085971)
* Wed Mar 26 2014 Jan Synáček <jsynacek(a)redhat.com> - 20121221-5
- Fix message flood when EPERM is encountered in ping (#1061867)
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update iputils' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
9 years, 12 months