Fedora 19 Update: freeradius-2.2.4-1.fc19
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4345
2014-03-26 04:33:29
--------------------------------------------------------------------------------
Name : freeradius
Product : Fedora 19
Version : 2.2.4
Release : 1.fc19
URL : http://www.freeradius.org/
Summary : High-performance and highly configurable free RADIUS server
Description :
The FreeRADIUS Server Project is a high performance and highly configurable
GPL'd free RADIUS server. The server is similar in some respects to
Livingston's 2.0 server. While FreeRADIUS started as a variant of the
Cistron RADIUS server, they don't share a lot in common any more. It now has
many more features than Cistron or Livingston, and is much more configurable.
FreeRADIUS is an Internet authentication daemon, which implements the RADIUS
protocol, as defined in RFC 2865 (and others). It allows Network Access
Servers (NAS boxes) to perform authentication for dial-up users. There are
also RADIUS clients available for Web servers, firewalls, Unix logins, and
more. Using RADIUS allows authentication and authorization for a network to
be centralized, and minimizes the amount of re-configuration which has to be
done when adding or deleting new users.
--------------------------------------------------------------------------------
Update Information:
FreeRADIUS 2.2.4 - minor release. Upstream release notes follow.
Feature improvements
* A "panic_action" can be set to have the server dump a gdb log on SEGV
or other fatal error.
* allow radmin command "set module status <module> <code>" which can be
used to forcibly enable/disable modules.
Bug Fixes
* If the server fails to bind() after fork(), that is now reported to
the parent, which exits with an error.
* Session / delay times in MySQL are unsigned int.
& Use --tag=CC for libtool. Closes #497. Because libtool is too stupid
to notice that compiling means compilation.
* Fix bug when copying attributes for vendors > 32767
* Fix behaviour on FreeBSD where sending packets from an interface bound
to an IP address would fail when the server was built with udpfromto.
* Don't fail config check if were listening on an IP which is also a
home server. Some deployments have valid reasons to loop packets back to
another virtual server.
* Use correct port when DHCP relaying.
* Set source IP address for DHCP packets from DHCP-Server-IP-Address, or
DHCP-DHCP-Server-Identifier, if we're unable to otherwise determine the
source IP.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 21 2014 Nikolai Kondrashov <Nikolai.Kondrashov(a)redhat.com> - 2.2.4-1
- Rebase onto 2.2.4. Resolves: bug#1078762.
* Fri Feb 21 2014 Nikolai Kondrashov <Nikolai.Kondrashov(a)redhat.com> - 2.2.3-7
- Fix CVE-2014-2015 "freeradius: stack-based buffer overflow flaw in rlm_pap
module"
- resolves: bug#1066984 (fedora 1066763)
* Tue Jan 14 2014 John Dennis <jdennis(a)redhat.com> - 2.2.3-6
- Upgrade to upstream 2.2.3 release
See /usr/share/doc/freeradius-2.2.3/ChangeLog for details
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1078762 - Rebase FreeRADIUS to 2.2.4
https://bugzilla.redhat.com/show_bug.cgi?id=1078762
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update freeradius' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: pcl-1.7.1-2.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4258
2014-03-23 02:00:31
--------------------------------------------------------------------------------
Name : pcl
Product : Fedora 20
Version : 1.7.1
Release : 2.fc20
URL : http://pointclouds.org/
Summary : Library for point cloud processing
Description :
The Point Cloud Library (or PCL) is a large scale, open project for point
cloud processing.
The PCL framework contains numerous state-of-the art algorithms including
filtering, feature estimation, surface reconstruction, registration, model
fitting and segmentation.
--------------------------------------------------------------------------------
Update Information:
Update to 1.7.1, Rebuild for new eigen3, set PCL_ROOT to CMAKE_INSTALL_PREFIX, and fix the usage of VTK_DEFINITIONS in PCL_DEFINITIONS
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 21 2014 Rich Mattes <richmattes(a)gmail.com> - 1.7.1-2
- Rebuild for new eigen3
- Set PCL_ROOT to the CMAKE_INSTALL_PREFIX
- Fix usage of VTK_DEFINITIONS (rhbz#1079531)
* Sat Oct 26 2013 Rich Mattes <richmattes(a)gmail.com> - 1.7.1-1
- Update to release 1.7.1
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1079531 - PCL 1.7* cmake add_definitions issue
https://bugzilla.redhat.com/show_bug.cgi?id=1079531
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update pcl' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: fftw-3.3.4-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4052
2014-03-19 08:02:00
--------------------------------------------------------------------------------
Name : fftw
Product : Fedora 20
Version : 3.3.4
Release : 1.fc20
URL : http://www.fftw.org
Summary : A Fast Fourier Transform library
Description :
FFTW is a C subroutine library for computing the Discrete Fourier
Transform (DFT) in one or more dimensions, of both real and complex
data, and of arbitrary input size.
--------------------------------------------------------------------------------
Update Information:
Update to 3.3.4; bugfix in fftw-wisdom-to-conf.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 18 2014 Susi Lehtola <jussilehtola(a)fedoraproject.org> - 3.3.4-1
- Update to 3.3.4.
* Sat Dec 14 2013 Conrad Meyer <cemeyer(a)uw.edu> - 3.3.3-8
- Remove non-OpenMP / g77 build for obsolete RHEL (< 5)
- Remove ancient Obsoletes (fftw < 3.3, Fedora < 16)
- Remove ancient non-Quad build (Fedora < 15) on supported arch(s)
- Remove obsolete conditional on BuildArch: noarch (RHEL < 6, Fedora < 13)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1077538 - fftw-3.3.4 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1077538
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update fftw' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 19 Update: pari-galpol-20140218-1.fc19
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4308
2014-03-26 04:31:42
--------------------------------------------------------------------------------
Name : pari-galpol
Product : Fedora 19
Version : 20140218
Release : 1.fc19
URL : http://pari.math.u-bordeaux.fr/packages.html
Summary : PARI/GP Computer Algebra System Galois polynomials
Description :
This package contains the optional PARI package galpol, which contains a
database of polynomials defining Galois extensions of the rationals
representing all abstract groups of order up to 127 for all signatures
(2429 polynomials).
--------------------------------------------------------------------------------
Update Information:
This is the first Fedora release of the galpol add-on data package for pari.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1080062 - Review Request: pari-galpol - PARI/GP Computer Algebra System Galois polynomials
https://bugzilla.redhat.com/show_bug.cgi?id=1080062
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update pari-galpol' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: mingw-hidapi-0.7.0-3.a88c724.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4324
2014-03-26 04:32:19
--------------------------------------------------------------------------------
Name : mingw-hidapi
Product : Fedora 20
Version : 0.7.0
Release : 3.a88c724.fc20
URL : http://www.signal11.us/oss/hidapi/
Summary : Library for communicating with USB and Bluetooth HID devices
Description :
HIDAPI is a multi-platform library which allows an application to interface
with USB and Bluetooth HID-class devices on Windows, Linux, FreeBSD and Mac OS
X. On Linux, either the hidraw or the libusb back-end can be used. There are
trade-offs and the functionality supported is slightly different.
--------------------------------------------------------------------------------
Update Information:
Add patch for increasing the input report buffer size
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 20 2014 Scott Talbert <swt(a)techie.net> - 0.7.0-3.a88c724
- Add patch for increasing the input report buffer size
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update mingw-hidapi' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: mod_authnz_pam-0.9-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4298
2014-03-25 06:27:11
--------------------------------------------------------------------------------
Name : mod_authnz_pam
Product : Fedora 20
Version : 0.9
Release : 1.fc20
URL : http://www.adelton.com/apache/mod_authnz_pam/
Summary : PAM authorization checker and PAM Basic Authentication provider
Description :
mod_authnz_pam is a PAM authorization module, supplementing
authentication done by other modules, for example mod_auth_kerb; it
can also be used as full Basic Authentication provider which runs the
[login, password] authentication through the PAM stack.
--------------------------------------------------------------------------------
Update Information:
Rebase to 0.9 to get properly isolated functions.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update mod_authnz_pam' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 19 Update: mingw-qt5-qttools-5.2.1-2.fc19
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4358
2014-03-26 04:34:04
--------------------------------------------------------------------------------
Name : mingw-qt5-qttools
Product : Fedora 19
Version : 5.2.1
Release : 2.fc19
URL : http://qt-project.org/
Summary : Qt5 for Windows - QtTools component
Description :
This package contains the Qt software toolkit for developing
cross-platform applications.
This is the Windows version of Qt, for use in conjunction with the
Fedora Windows cross-compiler.
--------------------------------------------------------------------------------
Update Information:
Improved CMake support
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.2.1-2
- Fix invalid reference to the tools in the CMake files (the native tools don't have the .exe extension)
* Sat Feb 8 2014 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.2.1-1
- Update to 5.2.1
* Tue Jan 7 2014 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.2.0-2
- Dropped manual rename of import libraries
* Sun Jan 5 2014 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.2.0-1
- Update to 5.2.0
* Fri Nov 29 2013 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.2.0-0.1.rc1
- Update to 5.2.0 RC1
- Renamed the -lrelease subpackage to -tools
* Sat Sep 7 2013 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.1.1-1
- Update to 5.1.1
* Tue Jul 30 2013 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.1.0-2
- Rebuild due to the introduction of arm as primary architecture
* Thu Jul 11 2013 Erik van Pienbroek <epienbro(a)fedoraproject.org> - 5.1.0-1
- Update to 5.1.0
- Changed URL to http://qt-project.org/
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update mingw-qt5-qttools' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: alt-ergo-0.95.2-3.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4336
2014-03-26 04:32:46
--------------------------------------------------------------------------------
Name : alt-ergo
Product : Fedora 20
Version : 0.95.2
Release : 3.fc20
URL : http://alt-ergo.ocamlpro.com/
Summary : Automated theorem prover including linear arithmetic
Description :
Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362....
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 0.95.2-3
- Add desktop icons
- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)
- Fix bytecode build
- Drop screenshot, now hosted externally
* Tue Mar 4 2014 Jerry James <loganjerry(a)gmail.com> - 0.95.2-2
- Add an AppData file and screenshot
- Adapt to ocamlgraph 1.8.4
* Fri Sep 20 2013 Jerry James <loganjerry(a)gmail.com> - 0.95.2-1
- Update to version 0.95.2
- Web pages and downloads now hosted by ocamlpro.com
- Add ocaml-findlib, ocaml-zarith, and gmp-devel BRs
- Drop prelink BR; execstack is no longer set
- Fix bogus changelog dates
* Sat Sep 14 2013 Richard W.M. Jones <rjones(a)redhat.com> - 0.95.1-4
- Rebuild for OCaml 4.01.0.
- Enable debuginfo.
- Change some define -> global.
- Remove Group lines not needed by modern RPM.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update alt-ergo' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: ocaml-zarith-1.2.1-5.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4336
2014-03-26 04:32:46
--------------------------------------------------------------------------------
Name : ocaml-zarith
Product : Fedora 20
Version : 1.2.1
Release : 5.fc20
URL : http://forge.ocamlcore.org/projects/zarith
Summary : OCaml interface to GMP
Description :
This library implements arithmetic and logical operations over
arbitrary-precision integers.
The module is simply named "Z". Its interface is similar to that of the
Int32, Int64 and Nativeint modules from the OCaml standard library, with
some additional functions. See the file z.mlip for documentation.
The implementation uses GMP (the GNU Multiple Precision arithmetic
library) to compute over big integers. However, small integers are
represented as unboxed Caml integers, to save space and improve
performance. Big integers are allocated in the Caml heap, bypassing
GMP's memory management and achieving better GC behavior than e.g. the
MLGMP library. Computations on small integers use a special, faster
path (coded in assembly for some platforms and functions) eschewing
calls to GMP, while computations on large integers use the low-level
MPN functions from GMP.
Arbitrary-precision integers can be compared correctly using OCaml's
polymorphic comparison operators (=, <, >, etc.).
Additional features include:
- a module Q for rationals, built on top of Z (see q.mli)
- a compatibility layer Big_int_Z that implements the same API as Big_int,
but uses Z internally
--------------------------------------------------------------------------------
Update Information:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362....
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 24 2014 Jerry James <loganjerry(a)gmail.com> - 1.2.1-5
- Fix bytecode build
- Build and install ocamldoc documentation
- BR ocaml-findlib instead of ocaml-findlib-devel
- The -devel subpackage needs gmp-devel for _libdir/libgmp.so
- Move zarith.h to the -devel subpackage
* Thu Sep 19 2013 Richard W.M. Jones <rjones(a)redhat.com> - 1.2.1-4
- Typo in changelog which confused my autorebuild scripts.
* Mon Sep 16 2013 Jerry James <loganjerry(a)gmail.com> - 1.2.1-3
- Rebuild for OCaml 4.01.0.
- Enable debuginfo
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update ocaml-zarith' 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
--------------------------------------------------------------------------------
10 years, 2 months
Fedora 20 Update: frama-c-1.10-2.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4336
2014-03-26 04:32:46
--------------------------------------------------------------------------------
Name : frama-c
Product : Fedora 20
Version : 1.10
Release : 2.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:
Changes in ocaml-zarith:
- Enable debuginfo
- Fix bytecode build
- Build and install ocamldoc documentation
- Fixes to the -devel subpackage
Changes in flocq 2.2.2:
- https://gforge.inria.fr/frs/shownotes.php?release_id=8454
Changes in ocamlgraph 1.8.4 + dev:
- http://ocamlgraph.lri.fr/download/CHANGES
gappalib-coq was merely rebuilt due to changed dependencies.
Changes in alt-ergo 0.95.2:
- Alt-Ergo is now maintained and distributed by OCamlPro, while academic research is conducted in partnership with the VALS/Toccata team (LRI).
- source code is reorganized into sub-directories
- quantifiers instantiation heuristics are simplified
- bug-fixes in matching, nums, records, sums
- improvement of the GUI when opening big files.
Changes in why3:
- Version 0.82: http://lists.gforge.inria.fr/pipermail/why3-club/2013-December/000866.html
- Version 0.83: http://lists.gforge.inria.fr/pipermail/why3-club/2014-March/001007.html
Changes in Frama-C Neon:
- http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-March/004362....
Changes in why 2.34:
- http://why.lri.fr/download/CHANGES
--------------------------------------------------------------------------------
ChangeLog:
* 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
--------------------------------------------------------------------------------
10 years, 2 months