Fedora 20 Update: cbmc-4.7-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7777
2014-06-27 01:28:33
--------------------------------------------------------------------------------
Name : cbmc
Product : Fedora 20
Version : 4.7
Release : 1.fc20
URL : http://www.cprover.org/cbmc/
Summary : Bounded Model Checker for ANSI-C and C++ programs
Description :
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
--------------------------------------------------------------------------------
Update Information:
Changes in version 4.7:
- Added support for Solaris 11
- Bugfixes in partial-order encoding
- Added --float-overflow-check
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jun 25 2014 Jerry James <loganjerry(a)gmail.com> - 4.7-1
- New upstream release
- Build with CUDD support
* Sun Dec 1 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.6-1.20131201svn
- Updated to upstream 4.6 release
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update cbmc' 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, 11 months
[SECURITY] Fedora 20 Update: file-5.19-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7992
2014-07-01 22:36:30
--------------------------------------------------------------------------------
Name : file
Product : Fedora 20
Version : 5.19
Release : 1.fc20
URL : http://www.darwinsys.com/file/
Summary : A utility for determining file types
Description :
The file command is used to identify a particular file according to the
type of data contained by the file. File can identify many different
file types, including ELF binaries, system libraries, RPM packages, and
different graphics formats.
--------------------------------------------------------------------------------
Update Information:
Security update to new File version 5.19 fixing 8 CVEs found in previous two months.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jun 25 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.19-1
- fix #1011789 - update to version 5.19
* Sat Jun 7 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 5.14-22
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 27 2014 Kalev Lember <kalevlember(a)gmail.com> - 5.14-21
- Rebuilt for https://fedoraproject.org/wiki/Changes/Python_3.4
* Tue Mar 25 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-20
- fix #1079847 - fix potential regression in Perl detection caused
by original patch for CVE-2013-7345
* Mon Mar 24 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-19
- fix redefinition of OFFSET_OOB in CVE-2014-2270 patch
* Mon Mar 24 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-18
- fix #1079847 - fix for CVE-2013-7345
- fix #1080450 - remove *.orig files before compiling magic/Magdir
* Fri Mar 7 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-17
- fix #1073555 - fix for CVE-2014-2270
* Tue Feb 25 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-16
- fix potential memory leak introduced in previous commit
* Tue Feb 18 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-15
- fix #1065837 - fix for CVE-2014-1943
* Wed Jan 15 2014 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-14
- fix #1051598 - reverse the order of shebang vs. package keyword detection
in Perl by increasing strength of all Perl patterns
* Mon Sep 9 2013 Jan Kaluza <jkaluza(a)redhat.com> - 5.14-13
- fix #1001689 - fix segfault when calling magic_load twice
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #805197 - CVE-2012-1571 file: out of bounds read in CDF parser
https://bugzilla.redhat.com/show_bug.cgi?id=805197
[ 2 ] Bug #1091842 - CVE-2014-0207 file: cdf_read_short_sector insufficient boundary check
https://bugzilla.redhat.com/show_bug.cgi?id=1091842
[ 3 ] Bug #1098222 - CVE-2014-3538 file: extensive backtracking in awk rule regular expression (incomplete fix for CVE-2013-7345)
https://bugzilla.redhat.com/show_bug.cgi?id=1098222
[ 4 ] Bug #1104858 - CVE-2014-3480 file: cdf_count_chain insufficient boundary check
https://bugzilla.redhat.com/show_bug.cgi?id=1104858
[ 5 ] Bug #1104863 - CVE-2014-3478 file: mconvert incorrect handling of truncated pascal string size
https://bugzilla.redhat.com/show_bug.cgi?id=1104863
[ 6 ] Bug #1104869 - CVE-2014-3479 file: cdf_check_stream_offset insufficient boundary check
https://bugzilla.redhat.com/show_bug.cgi?id=1104869
[ 7 ] Bug #1107544 - CVE-2014-3487 file: cdf_read_property_info insufficient boundary check
https://bugzilla.redhat.com/show_bug.cgi?id=1107544
[ 8 ] Bug #1098193 - CVE-2014-0237 file: cdf_unpack_summary_info() excessive looping DoS
https://bugzilla.redhat.com/show_bug.cgi?id=1098193
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update file' 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, 11 months
Fedora 20 Update: qt-creator-3.1.2-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7766
2014-06-27 01:28:07
--------------------------------------------------------------------------------
Name : qt-creator
Product : Fedora 20
Version : 3.1.2
Release : 1.fc20
URL : http://qt.digia.com/Product/Qt-Core-Features-Functions/Developer-Tools/
Summary : Cross-platform IDE for Qt
Description :
Qt Creator is a cross-platform IDE (integrated development environment)
tailored to the needs of Qt developers.
--------------------------------------------------------------------------------
Update Information:
3.1.2 stable release, see https://qt.gitorious.org/qt-creator/qt-creator/source/ff52061e5238836ecfb... for details.
This update fixes an issue caused by a recent gdb update which made qt-creator lose the ability to inspect certain objects when debugging.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jun 26 2014 Sandro Mani <manisandro(a)gmail.com> - 3.1.2-1
- 3.1.2 stable release
* Sun Jun 22 2014 Sandro Mani <manisandro(a)gmail.com> - 3.1.1-3
- Backport upstream patch to fix dumper with gdb 7.7, see rhbz#1110980
* Wed May 21 2014 Sandro Mani <manisandro(a)gmail.com> - 3.1.1-1
- 3.1.1 stable release
- Build clang code model plugin
* Wed Mar 12 2014 Sandro Mani <manisandro(a)gmail.com> - 3.0.1-2
- Add appdata file
* Thu Feb 6 2014 Sandro Mani <manisandro(a)gmail.com> - 3.0.1-1
- 3.0.1 stable release
- Fix homepage URL
- Improve description
* Thu Dec 12 2013 Sandro Mani <manisandro(a)gmail.com> - 3.0.0-1
- 3.0.0 stable release
* Sun Dec 1 2013 Sandro Mani <manisandro(a)gmail.com> - 3.0.0-0.2.rc1
- 3.0.0 rc1 release
* Wed Oct 23 2013 Jaroslav Reznik <jreznik(a)redhat.com> - 3.0.0-0.1.beta
- 3.0.0 beta release
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1110980 - Qt Creator debugging issue after GDB update
https://bugzilla.redhat.com/show_bug.cgi?id=1110980
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update qt-creator' 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, 11 months
Fedora 20 Update: epiphany-3.10.3-2.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7669
2014-06-24 01:18:01
--------------------------------------------------------------------------------
Name : epiphany
Product : Fedora 20
Version : 3.10.3
Release : 2.fc20
URL : https://wiki.gnome.org/Apps/Web
Summary : Web browser for GNOME
Description :
Epiphany is the web browser for the GNOME desktop. Its goal is to be
simple and easy to use. Epiphany ties together many GNOME components
in order to let you focus on the Web content, instead of the browser
application.
--------------------------------------------------------------------------------
Update Information:
Fix bookmark importing.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jun 23 2014 Debarshi Ray <rishi(a)fedoraproject.org> - 1:3.10.3-2
- Fix bookmark importing (GNOME #719821)
* Fri Jan 3 2014 Debarshi Ray <rishi(a)fedoraproject.org> - 1:3.10.3-1
- Update to 3.10.3
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update epiphany' 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, 11 months
Fedora 20 Update: python-django-dajaxice-0.6-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7495
2014-06-19 22:08:33
--------------------------------------------------------------------------------
Name : python-django-dajaxice
Product : Fedora 20
Version : 0.6
Release : 1.fc20
URL : http://www.dajaxproject.com/
Summary : Agnostic and easy to use AJAX library for Django
Description :
Easy to use AJAX library for Django, all the presentation logic resides outside
the views and doesn't require any JS framework. dajaxice uses the unobtrusive
standard-compliant (W3C) XMLHttpRequest 1.0 object.
--------------------------------------------------------------------------------
Update Information:
New upstream release 0.6. You can find the changes in the upstream description at http://django-dajaxice.readthedocs.org/en/latest/changelog.html#id1
--------------------------------------------------------------------------------
ChangeLog:
* Tue Jun 17 2014 Richard Marko <rmarko(a)fedoraproject.org> - 0.6-1
- New upstream release
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update python-django-dajaxice' 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, 11 months
Fedora 20 Update: gccxml-0.9.0-0.23.20140610.gita012b8fe.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7762
2014-06-27 01:27:59
--------------------------------------------------------------------------------
Name : gccxml
Product : Fedora 20
Version : 0.9.0
Release : 0.23.20140610.gita012b8fe.fc20
URL : http://www.gccxml.org/
Summary : XML output extension to GCC
Description :
There is one open-source C++ parser, the C++ front-end to GCC, which
is currently able to deal with the language in its entirety. The
purpose of the GCC-XML extension is to generate an XML description of
a C++ program from GCC's internal representation. Since XML is easy to
parse, other development tools will be able to work with C++ programs
without the burden of a complicated C++ parser.
--------------------------------------------------------------------------------
Update Information:
Now contains upstream's support files for gcc 4.9
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jun 26 2014 Mattias Ellert <mattias.ellert(a)fysast.uu.se> - 0.9.0-0.23.20140610.gita012b8fe
- Updated git snapshot
- Now contains support files for gcc 4.9
* Sat Jun 7 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 0.9.0-0.22.20131209.git9a114c0c
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Fri May 23 2014 Brent Baude <baude(a)us.ibm.com> - 0.9.0-0.21.20131209.git9a114c0c
- Adding ppc64le support
* Sat May 10 2014 Mattias Ellert <mattias.ellert(a)fysast.uu.se> - 0.9.0-0.20.20131209.git9a114c0c
- Copy gcc 4.8 support files for gcc 4.9
* Mon Dec 9 2013 Mattias Ellert <mattias.ellert(a)fysast.uu.se> - 0.9.0-0.19.20131209.git9a114c0c
- Updated git snapshot
- Fixes compilation on ppc
* Wed Nov 27 2013 Mattias Ellert <mattias.ellert(a)fysast.uu.se> - 0.9.0-0.18.20130919.gitb040a463
- Updated git snapshot
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gccxml' 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, 11 months
Fedora 20 Update: findbugs-2.0.3-4.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7670
2014-06-24 01:18:02
--------------------------------------------------------------------------------
Name : findbugs
Product : Fedora 20
Version : 2.0.3
Release : 4.fc20
URL : http://findbugs.sourceforge.net/
Summary : Find bugs in Java code
Description :
Findbugs is a program which uses static analysis to look for bugs in Java code.
It can check for null pointer exceptions, multithreaded code errors, and other
bugs.
--------------------------------------------------------------------------------
Update Information:
This update fixes bug #1080682 and makes the Ant task work.
--------------------------------------------------------------------------------
ChangeLog:
* Sun Jun 22 2014 Richard Fearn <richardfearn(a)gmail.com> - 2.0.3-4
- Allow Ant task to work even though findbugs.jar has no Class-Path attribute
in its manifest (bug #1080682)
* Mon Jan 13 2014 Marek Goldmann <mgoldman(a)redhat.com> - 2.0.3-3
- Use current POM's, RHBZ#1052081
* Mon Jan 13 2014 Mikolaj Izdebski <mizdebsk(a)redhat.com> - 2.0.3-2
- Add Maven alias for groupId net.sourceforge.findbugs
- Resolves: rhbz#1049949
* Mon Jan 13 2014 Richard Fearn <richardfearn(a)gmail.com> - 2.0.3-1
- Update to 2.0.3
- Drop findbugs-bug-1157.patch as the bug is fixed in 2.0.3
* Mon Jan 13 2014 Richard Fearn <richardfearn(a)gmail.com> - 2.0.2-3
- Use actual 2.0.2 POMs from Maven Central
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1080682 - Ant FindBugs task doesn't work due to bad jar manifest file
https://bugzilla.redhat.com/show_bug.cgi?id=1080682
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update findbugs' 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, 11 months
Fedora 20 Update: git-cola-2.0.4-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7802
2014-06-27 01:30:42
--------------------------------------------------------------------------------
Name : git-cola
Product : Fedora 20
Version : 2.0.4
Release : 1.fc20
URL : http://git-cola.github.io
Summary : A sleek and powerful git GUI
Description :
git-cola is a powerful git GUI with a slick and intuitive user interface.
--------------------------------------------------------------------------------
Update Information:
* We now handle the case when inotify `add_watch()` fails and display instructions on how to increase the number of watches.
* New and improved zh_TW localization.
* New hotkeys: Ctrl+f for fetch, Ctrl+p for push, and Ctrl-shift-p for pull.
* The bookmarks widget's context menu actions were made clearer.
* The term "Staging Area" is used consistently in the UI to allow for better localization.
* The "Section" term is now referred to as "Diff Region" in the UI.
* The localization documentation related to the LANGUAGE environment variable was improved.
* The "Actions" panel now contains tooltips for each button in case the button labels gets truncated by Qt.
* Custom `git config`-defined actions can now be run in the background by setting `guitool.<name>.background` to `true`.
Fixes
-----
* We now use bold fonts instead of SmallCaps to avoid artifacts on several configurations.
* We now pickup `user.email`, `cola.tabwidth`, and similar ttings
when defined in /etc/gitconfig.
* Better support for unicode paths when using inotify.
* Unicode fixes for non-ascii locales.
* Viewing history from the file browser was fixed for Python3.
* setup.py was fixed to install the `*.rst` documentation.
* Patch export was fixed for Python3.
* Fixed adding a bookmark with trailing slashes.
* The default `git dag` layout is now setup so that its widgets can be freely resized on Linux.
* Invalid tag names are now reported when creating tags.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jun 26 2014 Christopher Meng <rpm(a)cicku.me> - 2.0.4-1
- Update to 2.0.4
* Sat May 31 2014 Kevin Kofler <Kevin(a)tigcc.ticalc.org> - 2.0.3-1
- Update to 2.0.3 (#1101185)
- Drop BR asciidoc, not used anymore (since 2.0.2)
* Wed Apr 23 2014 Christopher Meng <rpm(a)cicku.me> - 2.0.2-1
- Update to 2.0.2
* Fri Mar 21 2014 Christopher Meng <rpm(a)cicku.me> - 2.0.1-1
- Update to 2.0.1
* Wed Feb 26 2014 Christopher Meng <rpm(a)cicku.me> - 2.0.0-1
- Update to 2.0.0
* Sat Feb 15 2014 Christopher Meng <rpm(a)cicku.me> - 1.9.4-2
- Remove unneeded dependency.
* Fri Feb 7 2014 Christopher Meng <rpm(a)cicku.me> - 1.9.4-1
- Update to 1.9.4
* Thu Dec 12 2013 Kevin Kofler <Kevin(a)tigcc.ticalc.org> - 1.9.3-1
- Update to 1.9.3 (#1040157)
* Thu Nov 28 2013 Christopher Meng <rpm(a)cicku.me> - 1.9.2-1
- Update to 1.9.2 with fix for BZ#1034778.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1104181 - [abrt] git-cola: pyinotify.py:1907:add_watch:UnicodeDecodeError: 'ascii' codec can't decode byte 0xc5 in position 11: ordinal not in range(128)
https://bugzilla.redhat.com/show_bug.cgi?id=1104181
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update git-cola' 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, 11 months
Fedora 20 Update: terminology-0.6.0-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-8085
2014-07-04 11:19:32
--------------------------------------------------------------------------------
Name : terminology
Product : Fedora 20
Version : 0.6.0
Release : 1.fc20
URL : http://www.enlightenment.org
Summary : EFL based terminal emulator
Description :
Fast and lightweight terminal emulator using EFL libraries.
--------------------------------------------------------------------------------
Update Information:
Fixes numerous issues with terminology.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Jul 3 2014 Conrad Meyer <cemeyer(a)uw.edu> - 0.6.0-1
- Update to 0.6.0 for numerous bugfixes, including the annoying T627
(https://phab.enlightenment.org/T627)
* Sun Jun 8 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 0.4.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Dec 10 2013 Dan Mashal <dan.mashal(a)fedoraproject.org> - 0.4.0-1
- Update to 0.4.0 (thanks Conrad Meyer)
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update terminology' 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, 11 months
Fedora 20 Update: freefem++-3.30-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-7887
2014-06-30 09:45:14
--------------------------------------------------------------------------------
Name : freefem++
Product : Fedora 20
Version : 3.30
Release : 1.fc20
URL : http://www.freefem.org/ff++/index.htm
Summary : PDE solving tool
Description :
A PDE oriented language using Finite Element Method FreeFem++ is an
implementation of a language dedicated to the finite element method. It
provides you a way to solve Partial Differential Equations (PDE) simply.
Problems involving partial differential equations (pde) of several
branches of physics such as fluid-structure interactions require
interpolations of data on several meshes and their manipulation within
one program.
FreeFem++ is an extension of freefem, freefem+ written in C++.
Homepage: http://www.freefem.org/
--------------------------------------------------------------------------------
Update Information:
Excerpt from upstream changelog:
* add multy border
* add ltime() (rev 2982) function returns the value of time in seconds since 0 hours, 0 minutes, 0 seconds, January 1, 1970, (int)
* add quote to a parameter after macro generation …
* add new int2d on levelset in 3d (int test)
* add basic func mesh3 Cube(int nx,int ny,int nz) in cube.idp file
* add int storagetotal(); and int storageused(); function to get static of malloc ( memory storage usage)
* correct problem of region evalution in jump and mean function
--------------------------------------------------------------------------------
ChangeLog:
* Sun May 25 2014 Dominik Mierzejewski <rpm(a)greysector.net> 3.30-1
- update to 3.30
* Mon Mar 10 2014 Dominik Mierzejewski <rpm(a)greysector.net> 3.29-1
- update to 3.29
- reduce redundant spec code
* Tue Feb 25 2014 Dominik Mierzejewski <rpm(a)greysector.net> 3.27-3
- fix compilation and build against SuperLU
* Sun Feb 16 2014 Dominik Mierzejewski <rpm(a)greysector.net> 3.27-1
- update to 3.27
* Thu Nov 28 2013 Dominik Mierzejewski <rpm(a)greysector.net> 3.26-1.2
- update to 3.26-2
- build with proper multi-MPI support
- build with gmm support
- WIP mumps/metis/scotch support (disabled for now)
- add missing tex dependencies
- drop obsolete patches
- explicitly disable all unavailable dependencies
- drop devel subpackage
- drop obsolete specfile constructs
* Sat Aug 3 2013 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 3.19-5.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 3.19-4.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1090889 - freefem++-3.30 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1090889
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update freefem++' 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, 11 months