[Bug 516997] New: Totally information free description of the package
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Totally information free description of the package
https://bugzilla.redhat.com/show_bug.cgi?id=516997
Summary: Totally information free description of the package
Product: Fedora
Version: 11
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: emacs-common-tuareg
AssignedTo: rjones(a)redhat.com
ReportedBy: mcepl(a)redhat.com
QAContact: extras-qa(a)fedoraproject.org
CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com
Classification: Fedora
Target Release: ---
Description of problem:
Current Description field:
This package contains the byte compiled elisp packages to run
Tuareg-mode with GNU Emacs.
doesn't tell me anything about the package what I wouldn't already know and
provides no information which would be interesting. What about:
=====================
Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic
indentation of Objective Caml and Camllight codes. Key parts of the code are
hilighted using Font-Lock. Support to run an interactive Caml toplevel and
debbuger is provided.
Install this package if you need to edit Caml code in Emacs.
======================
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
14 years, 7 months
[Bug 514309] New: virt-df2 blocks update of libguestfs
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: virt-df2 blocks update of libguestfs
https://bugzilla.redhat.com/show_bug.cgi?id=514309
Summary: virt-df2 blocks update of libguestfs
Product: Fedora
Version: 11
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: virt-df
AssignedTo: rjones(a)redhat.com
ReportedBy: guthrie(a)counterexample.org
QAContact: extras-qa(a)fedoraproject.org
CC: rjones(a)redhat.com, fedora-virt-maint(a)redhat.com,
fedora-ocaml-list(a)redhat.com
Classification: Fedora
Description of problem:
The most recent update of libguestfs is not able to be installed if virt-df2 is
installed.
Version-Release number of selected component (if applicable):
1.0.58-2.fc11
How reproducible:
Every time
Steps to Reproduce:
1.Install libguestfs-1.0.58-2.fc11 and virt-df2-1.0.58-2.fc11
2.Run "yum update"
3.
Actual results:
I get the following output:
# yum update
Loaded plugins: aliases, changelog, downloadonly, fastestmirror, filter-data,
: keys, list-data, presto, refresh-packagekit, rpm-warm-cache,
: security
Loading mirror speeds from cached hostfile
* fedora: mirrors.med.harvard.edu
* updates: mirror.steadfast.net
Skipping filters plugin, no data
Skipping security plugin, no data
Setting up Update Process
Resolving Dependencies
Skipping filters plugin, no data
Skipping security plugin, no data
--> Running transaction check
---> Package guestfish.i586 1:1.0.64-2.fc11 set to be updated
--> Processing Dependency: libguestfs = 1.0.58-2.fc11 for package:
virt-df2-1.0.58-2.fc11.i586
---> Package libguestfs.i586 1:1.0.64-2.fc11 set to be updated
--> Processing Dependency: chntpw >= 0.99.6-8 for package:
1:libguestfs-1.0.64-2.fc11.i586
---> Package perl-libguestfs.i586 1:1.0.64-2.fc11 set to be updated
--> Processing Dependency: perl(Locale::TextDomain) for package:
1:perl-libguestfs-1.0.64-2.fc11.i586
---> Package virt-inspector.i586 1:1.0.64-2.fc11 set to be updated
--> Running transaction check
---> Package chntpw.i586 0:0.99.6-9.fc11 set to be updated
--> Processing Dependency: libguestfs = 1.0.58-2.fc11 for package:
virt-df2-1.0.58-2.fc11.i586
---> Package perl-libintl.i586 0:1.16-9.fc11 set to be updated
--> Finished Dependency Resolution
virt-df2-1.0.58-2.fc11.i586 from installed has depsolving problems
--> Missing Dependency: libguestfs = 1.0.58-2.fc11 is needed by package
virt-df2-1.0.58-2.fc11.i586 (installed)
Error: Missing Dependency: libguestfs = 1.0.58-2.fc11 is needed by package
virt-df2-1.0.58-2.fc11.i586 (installed)
You could try using --skip-broken to work around the problem
You could try running: package-cleanup --problems
package-cleanup --dupes
rpm -Va --nofiles --nodigest
Expected results:
I would expect libguestfs and possibly virt-df2 as well to be updated.
Additional info:
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
14 years, 7 months
rpms/emacs-common-tuareg/devel emacs-common-tuareg.spec,1.7,1.8
by Richard W.M. Jones
Author: rjones
Update of /cvs/pkgs/rpms/emacs-common-tuareg/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/devel
Modified Files:
emacs-common-tuareg.spec
Log Message:
Improve description (RHBZ#516997).
Index: emacs-common-tuareg.spec
===================================================================
RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/devel/emacs-common-tuareg.spec,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- emacs-common-tuareg.spec 24 Jul 2009 22:04:07 -0000 1.7
+++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.8
@@ -30,7 +30,7 @@
Name: emacs-common-%{pkg}
Version: 1.45.6
-Release: 8%{?dist}
+Release: 9%{?dist}
Summary: Emacs and XEmacs mode for editing ocaml
Group: Development/Libraries
@@ -52,9 +52,10 @@ Requires: ocaml-emacs
%description
-%{pkgname} is an add-on package for GNU Emacs and XEmacs for
-editing OCaml source files. It is much better than the
-default mode included in Emacs or the one provided by INRIA.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
This package contains the common files. Install emacs-%{pkg} to get
the complete package.
@@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve
Requires: emacs-common-%{pkg} = %{version}-%{release}
%description -n emacs-%{pkg}
-This package contains the byte compiled elisp packages to run
-%{pkgname} with GNU Emacs.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
+
+Install this package if you need to edit OCaml code in Emacs.
%package -n emacs-%{pkg}-el
@@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_
Requires: emacs-common-%{pkg} = %{version}-%{release}
%description -n xemacs-%{pkg}
-This package contains the byte compiled elisp packages to use
-%{pkgname} with XEmacs.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
+
+Install this package if you need to edit OCaml code in XEmacs.
%package -n xemacs-%{pkg}-el
@@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT
%changelog
+* Wed Aug 12 2009 Richard W.M. Jones <rjones(a)redhat.com> - 1.45.6-9
+- Improve description (RHBZ#516997).
+
* Fri Jul 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 1.45.6-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
14 years, 8 months
rpms/emacs-common-tuareg/F-11 emacs-common-tuareg.spec,1.6,1.7
by Richard W.M. Jones
Author: rjones
Update of /cvs/pkgs/rpms/emacs-common-tuareg/F-11
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/F-11
Modified Files:
emacs-common-tuareg.spec
Log Message:
Improve description (RHBZ#516997).
Index: emacs-common-tuareg.spec
===================================================================
RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/F-11/emacs-common-tuareg.spec,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- emacs-common-tuareg.spec 24 Feb 2009 14:42:02 -0000 1.6
+++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.7
@@ -30,7 +30,7 @@
Name: emacs-common-%{pkg}
Version: 1.45.6
-Release: 7%{?dist}
+Release: 7%{?dist}.1
Summary: Emacs and XEmacs mode for editing ocaml
Group: Development/Libraries
@@ -52,9 +52,10 @@ Requires: ocaml-emacs
%description
-%{pkgname} is an add-on package for GNU Emacs and XEmacs for
-editing OCaml source files. It is much better than the
-default mode included in Emacs or the one provided by INRIA.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
This package contains the common files. Install emacs-%{pkg} to get
the complete package.
@@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve
Requires: emacs-common-%{pkg} = %{version}-%{release}
%description -n emacs-%{pkg}
-This package contains the byte compiled elisp packages to run
-%{pkgname} with GNU Emacs.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
+
+Install this package if you need to edit OCaml code in Emacs.
%package -n emacs-%{pkg}-el
@@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_
Requires: emacs-common-%{pkg} = %{version}-%{release}
%description -n xemacs-%{pkg}
-This package contains the byte compiled elisp packages to use
-%{pkgname} with XEmacs.
+Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles
+automatic indentation of Objective Caml and Caml Light code. Key
+parts of the code are highlighted using Font-Lock. Support to run an
+interactive Caml toplevel and debbuger is provided.
+
+Install this package if you need to edit OCaml code in XEmacs.
%package -n xemacs-%{pkg}-el
@@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT
%changelog
+* Wed Aug 12 2009 Richard W.M. Jones <rjones(a)redhat.com> - 1.45.6-7.fc11.1
+- Improve description (RHBZ#516997).
+
* Tue Feb 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 1.45.6-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
14 years, 8 months
rpms/coq/devel .cvsignore, 1.5, 1.6 coq.spec, 1.12, 1.13 import.log, 1.8, 1.9 sources, 1.5, 1.6 RecTutorial.v, 1.1, NONE
by Alan Dunn
Author: amdunn
Update of /cvs/pkgs/rpms/coq/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7642/devel
Modified Files:
.cvsignore coq.spec import.log sources
Removed Files:
RecTutorial.v
Log Message:
* Wed Aug 05 2009 Alan Dunn <amdunn(a)gmail.com> - 8.2pl1-1
- New upstream release
- Eliminated modification of tar_base_name that occurred for only version 8.2
- Added reference to bugzilla bug for ppc64 ExcludeArch
- HTML form of documentation seems to no longer be distributed -> must generate
Decided for consistency to generate all documentation
- Additional file for iconv - documentation license file
- Changed tutorial directory name, now also using bundled version
of tutorial
Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/.cvsignore,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- .cvsignore 19 Jun 2009 11:14:51 -0000 1.5
+++ .cvsignore 5 Aug 2009 21:32:59 -0000 1.6
@@ -1,7 +1 @@
-Coq-RecTutorial.pdf.gz
-Coq-Library-8.2.pdf.gz
-Coq-Reference-Manual-8.2.pdf.gz
-Coq-Tutorial-8.2.pdf.gz
-coq-8.2-1.tar.gz
-coq-refman-html-8.2.tar.gz
-coq-stdlib-html-8.2.tar.gz
+coq-8.2pl1.tar.gz
Index: coq.spec
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- coq.spec 24 Jul 2009 19:29:30 -0000 1.12
+++ coq.spec 5 Aug 2009 21:33:00 -0000 1.13
@@ -23,39 +23,32 @@
%global _enable_debug_package 0
%global debug_package %{nil}
-# The "-1" will have to be removed at the next version upgrade... this is
-# just for 8.2
-%global tar_base_name coq-%{version}-1
-
-Name: coq
-Version: 8.2
-Release: 2%{?dist}
-Summary: Coq proof management system
-
-Group: Applications/Engineering
-License: LGPLv2
-URL: http://coq.inria.fr/
-Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz
-Source1: Coq-Library-%{version}.pdf.gz
-Source2: Coq-Reference-Manual-%{version}.pdf.gz
-Source3: Coq-Tutorial-%{version}.pdf.gz
-Source4: Coq-RecTutorial.pdf.gz
-Source5: coq-refman-html-%{version}.tar.gz
-Source6: coq-stdlib-html-%{version}.tar.gz
-Source7: RecTutorial.v
-Source8: coqide.desktop
-Source10: README.coq-emacs
-Patch0: coq-makefile-strip-%{version}.patch
-Patch1: coq-check-%{version}.patch
-Patch2: coq-micromega-%{version}.patch
-BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
-BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs
+%global tar_base_name coq-%{version}
+
+Name: coq
+Version: 8.2pl1
+Release: 1%{?dist}
+Summary: Coq proof management system
+
+Group: Applications/Engineering
+License: LGPLv2
+URL: http://coq.inria.fr/
+Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz
+Source1: coqide.desktop
+Source2: README.coq-emacs
+Patch0: coq-makefile-strip-8.2.patch
+Patch1: coq-check-8.2.patch
+Patch2: coq-micromega-8.2.patch
+BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs
# Needed for execstack, NOT for preventing stripping of custom
# bytecode executables as before
BuildRequires: prelink
+# For documentation
+BuildRequires: texlive-latex, texlive-texmf, hevea
ExcludeArch: s390 s390x sparc64
-# Getting an error re: pthread_atfork - going to file a bugzilla bug
-# and number will end up here
+# ppc64 build fails in both opt and non-opt versions
+# bz: 515813
ExcludeArch: ppc64
%description
@@ -72,9 +65,9 @@ Coqide.
# also the full name of the IDE) or "coq" and "ide" will find
# this. (If the package were named "coq-ide", the former would fail.)
%package coqide
-Group: Applications/Engineering
-Summary: Coqide IDE for Coq proof management system
-Requires: coq
+Group: Applications/Engineering
+Summary: Coqide IDE for Coq proof management system
+Requires: coq
%description coqide
Coq is a formal proof management system. It allows for the development
@@ -85,9 +78,9 @@ modules and loaded into the system.
This package provides Coqide, a lightweight IDE for Coq.
%package doc
-Group: Applications/Engineering
-License: Open Publication
-Summary: Documentation for Coq proof management system
+Group: Applications/Engineering
+License: Open Publication
+Summary: Documentation for Coq proof management system
%description doc
Coq is a formal proof management system. It allows for the development
@@ -104,9 +97,9 @@ main one, and one specifically on recurs
for the latter is also included.
%package emacs
-Group: Applications/Engineering
-Summary: Elisp files for Coq proof management system
-Requires: coq, emacs
+Group: Applications/Engineering
+Summary: Elisp files for Coq proof management system
+Requires: coq, emacs
%description emacs
Coq is a formal proof management system. It allows for the development
@@ -161,19 +154,14 @@ This package provides emacs mode files f
# Fix some files that are not in UTF-8 encoding
-for f in CHANGES CREDITS COPYRIGHT; do
+for f in CHANGES CREDITS COPYRIGHT doc/LICENSE; do
mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old
done
%global emacs_lispdir %{_datadir}/emacs/site-lisp
%global tex_dir %{_datadir}/texmf/tex/latex/misc
-# Seems like setup only sets up the main file
-cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 .
-gunzip *.gz
-for f in *.tar; do
-tar xf $f
-done
+cp %SOURCE1 %SOURCE2 .
%build
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
@@ -206,14 +194,23 @@ done
# executables
%global coq_sopath %{_libdir}/ocaml/stublibs
+%global coqdocdir %{_defaultdocdir}/coq-%{version}
+
+./configure -prefix %{_prefix} \
+ -libdir %{_datadir}/coq \
+ -bindir %{_bindir} \
+ -mandir %{_mandir} \
+ -docdir %{coqdocdir} \
+ -emacs %{emacs_lispdir} \
+ -coqdocdir %{tex_dir} \
+ %{opt_option} \
+ -reals all \
+ -camlp5dir %{_libdir}/ocaml/camlp5 \
+ -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}"
-./configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}"
export CAML_LD_LIBRARY_PATH=`pwd`/kernel/byterun:${CAML_LD_LIBRARY_PATH}
make world VERBOSE=1
-# Fix permissions in the documentation
-chmod -R a+rX refman stdlib
-
# Clear any execstack permissions that ELF binaries may have
for f in bin/*; do
file $f | grep "ELF" && execstack -c $f
@@ -237,8 +234,8 @@ mkdir -p %{buildroot}%{coqdatadir}
sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop
-desktop-file-install --vendor="fedora" \
---dir=%{buildroot}%{_datadir}/applications \
+desktop-file-install --vendor="fedora" \
+--dir=%{buildroot}%{_datadir}/applications \
coqide.desktop
# Install main Coq .v files
@@ -249,11 +246,16 @@ done
# Install tutorial code
-%global tutorialcodedir %{coqdatadir}/tutorial
+%global tutorialcodedir %{coqdatadir}/RecTutorial
%if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1
mkdir -p %{buildroot}%{tutorialcodedir}
%endif
-mv RecTutorial.v %{buildroot}%{tutorialcodedir}
+cp doc/RecTutorial/RecTutorial.v %{buildroot}%{tutorialcodedir}
+
+# Install documentation not installed by install-doc in Makefile
+for f in CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README;
+do cp $f %{buildroot}%{coqdocdir};
+done
# Coq tries to move a .so into share - move it (easier than a makefile
# patch)
@@ -264,6 +266,9 @@ mv %{buildroot}%{coqdatadir}/dllcoqrun.s
# Micromega contrib tries to sneak an executable into share - move it
mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir}
+# Don't install libcoqrun.a (it might not exist, but get rid of it if it does)
+rm -f %{buildroot}%{coqdatadir}/libcoqrun.a
+
%clean
rm -rf %{buildroot}
@@ -276,18 +281,16 @@ rm -rf %{buildroot}
%files
%defattr(-,root,root,-)
-%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README
-%doc %{_mandir}/man1/*
+# DON'T use the doc macro here or else it wipes out all the other documentation installed!
+%{_mandir}/man1/*
%{coqdatadir}
-%if %(test -e %{buildroot}%{coqdatadir}/libcoqrun.a && echo 1 || echo 0) == 1
-%exclude %{coqdatadir}/libcoqrun.a
-%endif
%{coq_sopath}/dllcoqrun.so
%{_bindir}/coq*
%{_bindir}/gallina
%{_bindir}/csdpcert
%exclude %{_bindir}/coqide*
%exclude %{coqdatadir}/ide
+%exclude %{coqdatadir}/config/coq_config.cmo
%if %{opt}
%exclude %{coqdatadir}/*/*.cmxa
%exclude %{coqdatadir}/*/*.cmx
@@ -295,6 +298,17 @@ rm -rf %{buildroot}
%exclude %{coqdatadir}/*/*.o
%endif
%{tex_dir}/coq*
+# A few documentation files here should stay in the main package (and
+# are excluded from doc), but the bulk of the documentation is in the
+# doc subpackage
+%dir %{coqdocdir}
+%{coqdocdir}/CHANGES
+%{coqdocdir}/COMPATIBILITY
+%{coqdocdir}/COPYRIGHT
+%{coqdocdir}/CREDITS
+%{coqdocdir}/INSTALL
+%{coqdocdir}/LICENSE
+%{coqdocdir}/README
%files coqide
%defattr(-,root,root,-)
@@ -308,15 +322,15 @@ rm -rf %{buildroot}
%files doc
%defattr(-,root,root,-)
-%doc Coq-Library-%{version}.pdf
-%doc Coq-Reference-Manual-%{version}.pdf
-%doc Coq-Tutorial-%{version}.pdf
-%doc Coq-RecTutorial.pdf
-%dir %{coqdatadir}
%{tutorialcodedir}
-# Standard permissions with - in defattr make the manual unreadable... unknown how to fix
-%doc refman
-%doc stdlib
+%{coqdocdir}/*
+%exclude %{coqdocdir}/CHANGES
+%exclude %{coqdocdir}/COMPATIBILITY
+%exclude %{coqdocdir}/COPYRIGHT
+%exclude %{coqdocdir}/CREDITS
+%exclude %{coqdocdir}/INSTALL
+%exclude %{coqdocdir}/LICENSE
+%exclude %{coqdocdir}/README
%files emacs
%defattr(-,root,root,-)
@@ -324,6 +338,16 @@ rm -rf %{buildroot}
%doc README.coq-emacs
%changelog
+* Wed Aug 05 2009 Alan Dunn <amdunn(a)gmail.com> - 8.2pl1-1
+- New upstream release
+- Eliminated modification of tar_base_name that occurred for only version 8.2
+- Added reference to bugzilla bug for ppc64 ExcludeArch
+- HTML form of documentation seems to no longer be distributed -> must generate
+ Decided for consistency to generate all documentation
+- Additional file for iconv - documentation license file
+- Changed tutorial directory name, now also using bundled version
+ of tutorial
+
* Fri Jul 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 8.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/import.log,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- import.log 19 Jun 2009 11:14:53 -0000 1.8
+++ import.log 5 Aug 2009 21:33:00 -0000 1.9
@@ -6,3 +6,4 @@ coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.s
coq-8_1pl4-2_fc10:HEAD:coq-8.1pl4-2.fc10.src.rpm:1236185498
coq-8_1pl4-3_fc10:HEAD:coq-8.1pl4-3.fc10.src.rpm:1236186130
coq-8_2-1_fc10:HEAD:coq-8.2-1.fc10.src.rpm:1245409718
+coq-8_2pl1-1_fc10:HEAD:coq-8.2pl1-1.fc10.src.rpm:1249507545
Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/coq/devel/sources,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- sources 19 Jun 2009 11:14:53 -0000 1.5
+++ sources 5 Aug 2009 21:33:00 -0000 1.6
@@ -1,7 +1 @@
-0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz
-127760a6d9b9bcd213cdd58ab191a363 Coq-Library-8.2.pdf.gz
-b97ab411eb3288ded1d9f8c27e308115 Coq-Reference-Manual-8.2.pdf.gz
-29b7e61e742b17c904739f546223f2e0 Coq-Tutorial-8.2.pdf.gz
-6907d97342e7b547e2e6d905a474235d coq-8.2-1.tar.gz
-cc0005c859cbfd574f22242ec9557dc5 coq-refman-html-8.2.tar.gz
-9ff70e125ba31d53b866b8b322031ac6 coq-stdlib-html-8.2.tar.gz
+36eed48bc63ada8abf27f96eb126906c coq-8.2pl1.tar.gz
--- RecTutorial.v DELETED ---
14 years, 8 months