|
|
5e95fd9 |
%ifarch %{ocaml_native_compiler}
|
|
|
5e95fd9 |
%global camlsuffix opt
|
|
|
5e95fd9 |
%else
|
|
|
5e95fd9 |
%global camlsuffix byte
|
|
Jerry James |
13c9cab |
%global debug_package %{nil}
|
|
|
b486518 |
%endif
|
|
|
b486518 |
|
|
|
5e95fd9 |
# .coqide-gtk2rc produces an rpmlint warning due to its name,
|
|
|
70caa8f |
# however, this name is proper as per the Coq documentation
|
|
|
70caa8f |
|
|
|
d8f59d0 |
# Coq installs python files into nonstandard places
|
|
|
d8f59d0 |
%global _python_bytecompile_extra 0
|
|
|
d8f59d0 |
|
|
|
f181a00 |
Name: coq
|
|
|
8ec920a |
Version: 8.11.0
|
|
|
c9655fa |
Release: 3%{?dist}
|
|
|
09b853b |
Summary: Proof management system
|
|
|
f181a00 |
|
|
|
f181a00 |
License: LGPLv2
|
|
|
cbe14a3 |
URL: https://coq.inria.fr/
|
|
|
d8f59d0 |
Source0: https://github.com/coq/coq/archive/V%{version}/%{name}-%{version}.tar.gz
|
|
|
f181a00 |
Source1: coqide.desktop
|
|
|
5e95fd9 |
Source2: coq.xml
|
|
|
5e95fd9 |
Source3: coqide.appdata.xml
|
|
|
09b853b |
|
|
|
4350e58 |
# Adds support for OCaml 4.10.
|
|
|
d12009d |
# https://github.com/coq/coq/pull/11102
|
|
|
4350e58 |
Patch1: 0001-Add-support-for-OCaml-4.10.patch
|
|
|
4350e58 |
|
|
|
8ec920a |
BuildRequires: ocaml >= 4.08.0
|
|
|
06d597b |
BuildRequires: ocaml-findlib
|
|
|
8ec920a |
BuildRequires: ocaml-lablgtk3-devel >= 3.0
|
|
|
8ec920a |
BuildRequires: ocaml-lablgtk3-sourceview3-devel >= 3.0
|
|
|
f410e1b |
BuildRequires: ocaml-num-devel
|
|
Jerry James |
251a541 |
BuildRequires: csdp-tools
|
|
|
de086fe |
BuildRequires: desktop-file-utils
|
|
|
5e95fd9 |
BuildRequires: libicns-utils
|
|
|
af428b1 |
BuildRequires: time
|
|
|
de086fe |
|
|
|
f181a00 |
# For documentation
|
|
|
8ec920a |
BuildRequires: antlr4
|
|
|
b486518 |
BuildRequires: hevea
|
|
|
d8f59d0 |
BuildRequires: latexmk
|
|
|
8ec920a |
BuildRequires: python3-devel
|
|
|
8ec920a |
BuildRequires: python3dist(antlr4-python3-runtime)
|
|
|
5e95fd9 |
BuildRequires: python3dist(beautifulsoup4)
|
|
|
5e95fd9 |
BuildRequires: python3dist(pexpect)
|
|
|
5e95fd9 |
BuildRequires: python3dist(sphinx)
|
|
|
5e95fd9 |
BuildRequires: python3dist(sphinxcontrib-bibtex)
|
|
|
5e95fd9 |
BuildRequires: python3dist(sphinx-rtd-theme)
|
|
|
de086fe |
BuildRequires: tex(latex)
|
|
|
d8f59d0 |
BuildRequires: tex(adjustbox.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(capt-of.sty)
|
|
|
de086fe |
BuildRequires: tex(comment.sty)
|
|
|
de086fe |
BuildRequires: tex(epic.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(fncychap.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(framed.sty)
|
|
|
de086fe |
BuildRequires: tex(fullpage.sty)
|
|
|
de086fe |
BuildRequires: tex(moreverb.sty)
|
|
|
de086fe |
BuildRequires: tex(multirow.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(needspace.sty)
|
|
|
de086fe |
BuildRequires: tex(stmaryrd.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(tabulary.sty)
|
|
|
d8f59d0 |
BuildRequires: tex(upquote.sty)
|
|
|
de086fe |
BuildRequires: tex(utf8x.def)
|
|
|
d8f59d0 |
BuildRequires: tex(wrapfig.sty)
|
|
|
5e95fd9 |
BuildRequires: tex(FreeSerif.otf)
|
|
|
de086fe |
BuildRequires: tex-cm-super
|
|
|
de086fe |
BuildRequires: tex-courier
|
|
|
de086fe |
BuildRequires: tex-ec
|
|
|
de086fe |
BuildRequires: tex-helvetic
|
|
|
de086fe |
BuildRequires: tex-symbol
|
|
|
de086fe |
BuildRequires: tex-times
|
|
|
5e95fd9 |
BuildRequires: tex-xindy
|
|
|
de086fe |
BuildRequires: tex-zapfchan
|
|
|
de086fe |
BuildRequires: tex-zapfding
|
|
|
de086fe |
|
|
Jerry James |
251a541 |
Requires: csdp-tools
|
|
|
99b5ee0 |
Requires: texlive-base
|
|
|
09b853b |
|
|
|
5e95fd9 |
Recommends: emacs-proofgeneral
|
|
|
5e95fd9 |
|
|
|
8ec920a |
# Exclude 3 private ocaml interfaces that we don't Provide
|
|
|
8ec920a |
%global __requires_exclude ocaml\\\((Configwin_types|Interface|Richpp)\\\)
|
|
|
5e95fd9 |
|
|
|
5e95fd9 |
# These can be removed when Fedora 30 reaches EOL
|
|
|
5e95fd9 |
Obsoletes: %{name}-emacs < 8.9.0-1
|
|
|
5e95fd9 |
Provides: %{name}-emacs = %{version}-%{release}
|
|
|
cbe14a3 |
|
|
|
8ec920a |
%global _desc %{expand:
|
|
|
8ec920a |
Coq is a formal proof management system. It provides a formal language
|
|
|
8ec920a |
to write mathematical definitions, executable algorithms and theorems
|
|
|
8ec920a |
together with an environment for semi-interactive development of
|
|
|
8ec920a |
machine-checked proofs.}
|
|
|
70caa8f |
|
|
|
8ec920a |
%description %_desc
|
|
|
8ec920a |
Typical applications include the certification
|
|
|
8ec920a |
of properties of programming languages (e.g. the CompCert compiler
|
|
|
8ec920a |
certification project, or the Bedrock verified low-level programming
|
|
|
8ec920a |
library), the formalization of mathematics (e.g. the full formalization
|
|
|
8ec920a |
of the Feit-Thompson theorem or homotopy type theory) and teaching.
|
|
|
70caa8f |
|
|
|
70caa8f |
%package coqide
|
|
|
f181a00 |
Summary: Coqide IDE for Coq proof management system
|
|
|
8ec920a |
Requires: %{name} = %{version}-%{release}
|
|
|
5e95fd9 |
Requires: hicolor-icon-theme
|
|
|
8ec920a |
Requires: xdg-utils
|
|
|
70caa8f |
|
|
|
8ec920a |
%description coqide %_desc
|
|
|
70caa8f |
|
|
|
8ec920a |
This package provides CoqIDE, a graphical user interface for the
|
|
|
8ec920a |
development of interactive proofs.
|
|
|
70caa8f |
|
|
|
70caa8f |
%package doc
|
|
|
f181a00 |
Summary: Documentation for Coq proof management system
|
|
|
8ec920a |
License: Open Publication and LGPLv2+
|
|
|
09b853b |
BuildArch: noarch
|
|
|
70caa8f |
|
|
|
8ec920a |
%description doc %_desc
|
|
|
70caa8f |
|
|
|
8ec920a |
This package provides documentation and tutorials for the system. The
|
|
|
70caa8f |
main documentation comes in two parts: the main Library documentation,
|
|
|
09b853b |
which describes all Coq.* modules, and the Reference Manual, which
|
|
|
70caa8f |
gives a more complete description of the whole system. Included are
|
|
|
70caa8f |
also HTML versions of both. Furthermore, there are two tutorials, the
|
|
|
70caa8f |
main one, and one specifically on recursive types. The example code
|
|
|
70caa8f |
for the latter is also included.
|
|
|
70caa8f |
|
|
|
09b853b |
%prep
|
|
|
8ec920a |
%autosetup -p1
|
|
|
8ec920a |
|
|
|
8ec920a |
fixtimestamp() {
|
|
|
8ec920a |
touch -r $1.orig $1
|
|
|
8ec920a |
rm -f $1.orig
|
|
|
8ec920a |
}
|
|
|
70caa8f |
|
|
Jerry James |
1de423f |
# Fix a Makefile rule that causes installation to fail
|
|
|
06d597b |
sed -ri '/FULLCONFIGDIR/s/OLDROOT|COQINSTALLPREFIX/&2/g' Makefile.install
|
|
Jerry James |
1de423f |
|
|
|
8ec920a |
# Use Fedora compiler and linker flags. Fix broken CAML_LD_LIBRARY_PATH.
|
|
|
8ec920a |
sed -e 's|-Wall.*-O2|%{optflags} -Wno-unused|' \
|
|
|
8ec920a |
-e "s|-lunix|& -ccopt '$RPM_LD_FLAGS'|" \
|
|
|
8ec920a |
-e "s|'%s/kernel/byterun'|%s/kernel/byterun|" \
|
|
|
cbe14a3 |
-i configure.ml
|
|
Jerry James |
4006cf3 |
|
|
|
af428b1 |
# Make sure debuginfo is generated
|
|
|
af428b1 |
sed -i 's,-shared,& -g,g' tools/CoqMakefile.in Makefile.build
|
|
|
af428b1 |
|
|
|
af428b1 |
# Do not invoke env
|
|
|
8ec920a |
for f in dev/tools/update-compat.py doc/tools/coqrst/notations/fontsupport.py;
|
|
|
8ec920a |
do
|
|
|
8ec920a |
sed -i.orig 's,/usr/bin/env python2,%{__python3},' $f
|
|
|
8ec920a |
fixtimestamp $f
|
|
|
8ec920a |
done
|
|
|
8ec920a |
for f in $(grep -Frl '%{_bindir}/env'); do
|
|
|
8ec920a |
sed -r -i.orig 's,(%{_bindir}/)env[[:blank:]]+([[:alnum:]]+),\1\2,g' $f
|
|
|
8ec920a |
fixtimestamp $f
|
|
|
af428b1 |
done
|
|
|
e11c48c |
|
|
|
70caa8f |
%build
|
|
|
af428b1 |
%ifarch %{ocaml_native_compiler}
|
|
|
5e95fd9 |
%global opt_option -native-compiler yes -natdynlink yes -coqide opt
|
|
|
70caa8f |
%else
|
|
|
5e95fd9 |
%global opt_option -bytecode-compiler yes -byte-only -coqide byte
|
|
|
70caa8f |
%endif
|
|
|
70caa8f |
|
|
|
688d057 |
%global coqdocdir %{?_pkgdocdir}%{!?_pkgdocdir:%{_docdir}/coq-%{version}}
|
|
|
5e95fd9 |
%global coqdatadir %{_libdir}/coq
|
|
|
f181a00 |
|
|
|
09b853b |
./configure -prefix %{_prefix} \
|
|
|
5e95fd9 |
-libdir %{coqdatadir} \
|
|
|
09b853b |
-bindir %{_bindir} \
|
|
|
09b853b |
-mandir %{_mandir} \
|
|
|
09b853b |
-docdir %{coqdocdir} \
|
|
Jerry James |
1de423f |
-configdir %{_sysconfdir}/xdg/%{name} \
|
|
|
8ec920a |
-coqdocdir %{_texmf_main}/tex/latex \
|
|
Jerry James |
b0d944c |
%{opt_option} \
|
|
|
09b853b |
-browser "xdg-open %s" \
|
|
|
cbe14a3 |
-with-doc yes
|
|
|
48f8ea1 |
|
|
|
8ec920a |
# Regenerate ANTLR files
|
|
|
8ec920a |
cd doc/tools/coqrst/notations
|
|
|
8ec920a |
antlr4 -Dlanguage=Python3 -visitor -no-listener TacticNotations.g
|
|
|
8ec920a |
cd -
|
|
|
8ec920a |
|
|
|
5bf494c |
export LD_LIBRARY_PATH=%{_libdir}/ocaml/stublibs
|
|
Jerry James |
13c9cab |
export CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun:${CAML_LD_LIBRARY_PATH}
|
|
|
c41636e |
|
|
|
c41636e |
# Gross hack to work around intermittent build failures. See
|
|
|
c41636e |
# https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/AEPCSIRZMPRG4ZGXAPAIX45LW7ZQA5XI/
|
|
|
c41636e |
# for details. Revert to a single make invocation once the problem is
|
|
|
c41636e |
# identified and fixed.
|
|
|
c41636e |
make world VERBOSE=1 || make world VERBOSE=1 || make world VERBOSE=1
|
|
|
70caa8f |
|
|
|
70caa8f |
%install
|
|
Jerry James |
1de423f |
make COQINSTALLPREFIX="%{buildroot}%{_prefix}" OLDROOT="%{_prefix}" \
|
|
Jerry James |
1de423f |
COQINSTALLPREFIX2="%{buildroot}%{_sysconfdir}" OLDROOT2="%{_sysconfdir}" \
|
|
Jerry James |
1de423f |
install
|
|
|
70caa8f |
|
|
|
5e95fd9 |
# Fix permissions
|
|
|
5e95fd9 |
if [ -e %{buildroot}%{coqdatadir}/kernel/byterun/dllcoqrun.so ]; then
|
|
|
5e95fd9 |
chmod a+x %{buildroot}%{coqdatadir}/kernel/byterun/dllcoqrun.so
|
|
|
5e95fd9 |
fi
|
|
|
d8f59d0 |
|
|
|
5e95fd9 |
# Use hardlinks rather than copying binaries
|
|
|
5e95fd9 |
%ifarch %{ocaml_native_compiler}
|
|
|
5e95fd9 |
for fil in coqtop coqidetop; do
|
|
|
5e95fd9 |
rm -f %{buildroot}%{_bindir}/$fil
|
|
|
5e95fd9 |
ln %{buildroot}%{_bindir}/$fil.opt %{buildroot}%{_bindir}/$fil
|
|
|
5e95fd9 |
done
|
|
|
70caa8f |
%endif
|
|
|
70caa8f |
|
|
|
5e95fd9 |
# Install desktop icons
|
|
|
5e95fd9 |
pushd ide/MacOS
|
|
|
5e95fd9 |
icns2png -x coqide.icns
|
|
|
5e95fd9 |
for sz in 16 32 256 512; do
|
|
|
5e95fd9 |
mkdir -p %{buildroot}%{_datadir}/icons/hicolor/${sz}x${sz}/apps
|
|
|
5e95fd9 |
mv coqide_${sz}x${sz}x32.png \
|
|
|
5e95fd9 |
%{buildroot}%{_datadir}/icons/hicolor/${sz}x${sz}/apps/coq.png
|
|
|
5e95fd9 |
done
|
|
|
5e95fd9 |
popd
|
|
|
cbe14a3 |
|
|
|
5e95fd9 |
# Install desktop file
|
|
|
5e95fd9 |
desktop-file-install --dir=%{buildroot}%{_datadir}/applications %{SOURCE1}
|
|
Jerry James |
13c9cab |
|
|
Jerry James |
13c9cab |
# Install AppData file
|
|
Jerry James |
13c9cab |
mkdir -p %{buildroot}%{_datadir}/appdata
|
|
|
5e95fd9 |
install -pm 644 %{SOURCE3} %{buildroot}%{_datadir}/appdata
|
|
|
70caa8f |
|
|
|
09b853b |
# Make a MIME type for .v files
|
|
|
09b853b |
mkdir -p %{buildroot}%{_datadir}/mime/packages
|
|
|
5e95fd9 |
cp -p %{SOURCE2} %{buildroot}%{_datadir}/mime/packages
|
|
|
09b853b |
|
|
|
87f56ea |
# Install main Coq .v files
|
|
|
b486518 |
for f in `find plugins theories -name '*.v' -type f`; do
|
|
|
48f8ea1 |
mkdir -p %{buildroot}%{coqdatadir}/`dirname $f` && cp -p $f %{buildroot}%{coqdatadir}/`dirname $f`
|
|
|
87f56ea |
done
|
|
|
87f56ea |
|
|
|
8ec920a |
# Install Ltac2 files missed by the makefiles
|
|
|
8ec920a |
cp -a user-contrib/Ltac2/.coq-native \
|
|
|
8ec920a |
%{buildroot}%{coqdatadir}/user-contrib/Ltac2
|
|
|
8ec920a |
|
|
|
70caa8f |
# Install tutorial code
|
|
|
cb1e9d8 |
%global tutorialcodedir %{coqdatadir}/RecTutorial
|
|
|
b486518 |
if [ ! -d %{buildroot}%{tutorialcodedir} ]; then
|
|
|
b486518 |
mkdir -p %{buildroot}%{tutorialcodedir}
|
|
|
b486518 |
fi
|
|
|
5e95fd9 |
cp -p test-suite/success/RecTutorial.v %{buildroot}%{tutorialcodedir}
|
|
|
09b853b |
|
|
|
f181a00 |
# Install documentation not installed by install-doc in Makefile
|
|
|
8ec920a |
for f in dev/doc/changes.md CREDITS README.md;
|
|
|
09b853b |
do cp -p $f %{buildroot}%{coqdocdir};
|
|
|
f181a00 |
done
|
|
|
70caa8f |
|
|
|
09b853b |
# We don't need both PostScript and PDF documentation
|
|
|
09b853b |
rm -fr %{buildroot}%{coqdocdir}/ps
|
|
|
774db2a |
|
|
|
e11c48c |
# We don't need a hidden Sphinx marker
|
|
|
e11c48c |
rm -f %{buildroot}%{coqdocdir}/sphinx/html/.buildinfo
|
|
|
e11c48c |
|
|
|
d8f59d0 |
# Byte compile the tools
|
|
|
d8f59d0 |
%py_byte_compile %{__python3} %{buildroot}%{coqdatadir}/tools
|
|
|
d8f59d0 |
|
|
|
70caa8f |
%files
|
|
|
f181a00 |
# DON'T use the doc macro here or else it wipes out all the other documentation installed!
|
|
|
d8f59d0 |
%license LICENSE
|
|
|
5e95fd9 |
%{coqdatadir}/
|
|
Jerry James |
1de423f |
%{_datadir}/%{name}/
|
|
|
d8f59d0 |
%{_bindir}/coqc
|
|
|
d8f59d0 |
%{_bindir}/coqchk
|
|
|
d8f59d0 |
%{_bindir}/coqdep
|
|
|
d8f59d0 |
%{_bindir}/coqdoc
|
|
|
94253fd |
%{_bindir}/coqidetop
|
|
|
94253fd |
%{_bindir}/coqidetop.%{camlsuffix}
|
|
|
d8f59d0 |
%{_bindir}/coq_makefile
|
|
|
5e95fd9 |
%{_bindir}/coqpp
|
|
|
5e95fd9 |
%{_bindir}/coqproofworker.%{camlsuffix}
|
|
|
5e95fd9 |
%{_bindir}/coqqueryworker.%{camlsuffix}
|
|
|
5e95fd9 |
%{_bindir}/coqtacticworker.%{camlsuffix}
|
|
|
d8f59d0 |
%{_bindir}/coq-tex
|
|
|
d8f59d0 |
%{_bindir}/coqtop
|
|
|
5e95fd9 |
%{_bindir}/coqtop.%{camlsuffix}
|
|
|
d8f59d0 |
%{_bindir}/coqwc
|
|
|
d8f59d0 |
%{_bindir}/coqworkmgr
|
|
|
8ec920a |
%{_bindir}/doc_grammar
|
|
|
8ec920a |
%{_bindir}/votour
|
|
|
d8f59d0 |
%{_mandir}/man1/coqc.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqchk.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqdep.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqdoc.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coq_makefile.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coq-tex.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqtop.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqtop.byte.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqtop.opt.1*
|
|
|
d8f59d0 |
%{_mandir}/man1/coqwc.1*
|
|
|
5e95fd9 |
%exclude %{coqdatadir}/ide/
|
|
|
af428b1 |
%ifarch %{ocaml_native_compiler}
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/*/*.cmxa
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/*/*.a
|
|
|
70caa8f |
%endif
|
|
|
8ec920a |
%{_texmf_main}/tex/latex/coqdoc.sty
|
|
|
f181a00 |
# A few documentation files here should stay in the main package (and
|
|
|
f181a00 |
# are excluded from doc), but the bulk of the documentation is in the
|
|
|
f181a00 |
# doc subpackage
|
|
|
f181a00 |
%dir %{coqdocdir}
|
|
|
8ec920a |
%{coqdocdir}/changes.md
|
|
|
f181a00 |
%{coqdocdir}/CREDITS
|
|
|
06d597b |
%{coqdocdir}/README.md
|
|
|
70caa8f |
|
|
|
70caa8f |
%files coqide
|
|
|
cbe14a3 |
%doc ide/FAQ
|
|
|
d8f59d0 |
%{_bindir}/coqide
|
|
|
5e95fd9 |
%{_datadir}/icons/hicolor/16x16/apps/coq.png
|
|
|
5e95fd9 |
%{_datadir}/icons/hicolor/32x32/apps/coq.png
|
|
|
5e95fd9 |
%{_datadir}/icons/hicolor/256x256/apps/coq.png
|
|
|
5e95fd9 |
%{_datadir}/icons/hicolor/512x512/apps/coq.png
|
|
|
d8f59d0 |
%{_mandir}/man1/coqide.1*
|
|
|
5e95fd9 |
%{coqdatadir}/ide/
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/ide/ide.cmxa
|
|
|
cb1e9d8 |
%exclude %{coqdatadir}/ide/ide.a
|
|
Jerry James |
13c9cab |
%{_datadir}/appdata/coqide.appdata.xml
|
|
|
d92002f |
%{_datadir}/applications/coqide.desktop
|
|
|
dd74bac |
%{_datadir}/mime/packages/coq.xml
|
|
|
5e95fd9 |
%{_sysconfdir}/xdg/coq/
|
|
|
70caa8f |
|
|
|
70caa8f |
%files doc
|
|
|
d8f59d0 |
%license doc/LICENSE
|
|
|
f181a00 |
%{coqdocdir}/*
|
|
|
8ec920a |
%exclude %{coqdocdir}/changes.md
|
|
|
f181a00 |
%exclude %{coqdocdir}/CREDITS
|
|
|
06d597b |
%exclude %{coqdocdir}/README.md
|
|
|
70caa8f |
|
|
|
70caa8f |
%changelog
|
|
|
c9655fa |
* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 8.11.0-3
|
|
|
c9655fa |
- Update all OCaml dependencies for RPM 4.16.
|
|
|
c9655fa |
|
|
|
d12009d |
* Fri Mar 27 2020 Jerry James <loganjerry@gmail.com> - 8.11.0-2
|
|
|
d12009d |
- Update the ocaml 4.10 patch to upstream's version
|
|
|
d12009d |
|
|
|
8ec920a |
* Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 8.11.0-1
|
|
|
8ec920a |
- Version 8.11.0
|
|
|
8ec920a |
- Drop upstreamed 0002-fix-signal-polling-for-OCaml-4.10.patch
|
|
|
8ec920a |
- Stop bundling the python3 runtime for antlr4
|
|
|
8ec920a |
|
|
|
7a35a28 |
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 8.9.1-13
|
|
|
7a35a28 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
7a35a28 |
|
|
|
7b288f2 |
* Tue Jan 21 2020 Jerry James <loganjerry@gmail.com> - 8.9.1-12
|
|
|
7b288f2 |
- Add 0002-fix-signal-polling-for-OCaml-4.10.patch
|
|
|
7b288f2 |
|
|
|
733aada |
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-12
|
|
|
733aada |
- OCaml 4.10.0+beta1 rebuild.
|
|
|
733aada |
|
|
|
94253fd |
* Wed Jan 15 2020 Jerry James <loganjerry@gmail.com> - 8.9.1-11
|
|
|
94253fd |
- Move coqidetop into the main package (bz 1791377)
|
|
|
94253fd |
|
|
|
41be1c1 |
* Fri Jan 10 2020 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-10
|
|
|
41be1c1 |
- OCaml 4.09.0 for riscv64
|
|
|
41be1c1 |
|
|
|
b69cea2 |
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-9
|
|
|
1177ca2 |
- OCaml 4.09.0 (final) rebuild.
|
|
|
56b9ac6 |
- Bump antlr4rel.
|
|
|
1177ca2 |
|
|
|
142c677 |
* Tue Sep 3 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-6
|
|
|
142c677 |
- Fix the release numbers
|
|
|
142c677 |
|
|
|
3012d88 |
* Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 8.9.1-5
|
|
|
3012d88 |
- Rebuilt for Python 3.8
|
|
|
3012d88 |
|
|
|
0ef9116 |
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-3
|
|
|
0ef9116 |
- OCaml 4.08.1 (rc2) rebuild.
|
|
|
0ef9116 |
|
|
|
e11c48c |
* Mon Jul 29 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-2
|
|
|
e11c48c |
- Bump Epoch on antlr4-python3-runtime due to decrease in version number
|
|
|
e11c48c |
- Work around pr_dump.cmo snafu with new ocaml-camlp5
|
|
|
e11c48c |
|
|
|
73e8dbb |
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.9.1-2
|
|
|
73e8dbb |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
73e8dbb |
|
|
|
5e95fd9 |
* Wed Jun 5 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-1
|
|
|
5e95fd9 |
- New upstream release
|
|
|
5e95fd9 |
- Emacs support has been dropped upstream; obsolete the -emacs subpackage
|
|
|
5e95fd9 |
- Recommend ProofGeneral
|
|
|
5e95fd9 |
- Install more icon sizes
|
|
|
5e95fd9 |
- Bring the config dir back for system-wide configuration
|
|
|
5e95fd9 |
- Fix the antlr4-python3-runtime version
|
|
|
5e95fd9 |
|
|
|
3ac8434 |
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 8.8.2-2
|
|
|
3ac8434 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
3ac8434 |
|
|
|
1bd5f3a |
* Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 8.8.2-1
|
|
|
d8f59d0 |
- New upstream release
|
|
|
d8f59d0 |
- Bundle the python3 runtime for antlr4 4.7.2 due to inaction on bz 1595974 and
|
|
|
d8f59d0 |
bz 1599015
|
|
|
d8f59d0 |
|
|
|
a9574ee |
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.7.1-7
|
|
|
a9574ee |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
a9574ee |
|
|
|
d0a4f77 |
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-6
|
|
|
d0a4f77 |
- OCaml 4.07.0 (final) rebuild.
|
|
|
d0a4f77 |
|
|
|
b74e531 |
* Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-5
|
|
|
b74e531 |
- Bump release and rebuild.
|
|
|
b74e531 |
|
|
|
cbd5ef4 |
* Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-4
|
|
|
cbd5ef4 |
- Bump release and rebuild.
|
|
|
cbd5ef4 |
|
|
|
1d6e7f3 |
* Tue Jun 19 2018 Richard W.M. Jones <rjones@redhat.com> - 8.7.1-3
|
|
|
1d6e7f3 |
- OCaml 4.07.0-rc1 rebuild.
|
|
|
1d6e7f3 |
|
|
|
46a213e |
* Mon Feb 19 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-2
|
|
|
46a213e |
- Also filter out ocaml(Configwin_types) since the Provides is not generated
|
|
|
46a213e |
|
|
|
af428b1 |
* Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 8.7.1-1
|
|
|
af428b1 |
- New upstream release
|
|
|
af428b1 |
- All patches have been upstreamed; drop them
|
|
|
af428b1 |
- Switch back to camlp5, now required
|
|
|
af428b1 |
|
|
|
eb65f45 |
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 8.6.1-4
|
|
|
eb65f45 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
eb65f45 |
|
|
|
c079276 |
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-3
|
|
|
c079276 |
- Bump and rebuild against new ocaml-num package.
|
|
|
c079276 |
|
|
|
2203730 |
* Tue Nov 07 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-2
|
|
|
2203730 |
- OCaml 4.06.0 rebuild.
|
|
|
f410e1b |
- Backport various fixes to make Coq compile with OCaml 4.06.
|
|
|
f410e1b |
- BR the "new" legacy ocaml-num library.
|
|
|
2203730 |
|
|
|
dc69964 |
* Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6.1-1
|
|
|
dc69964 |
- New upstream version 8.6.1.
|
|
|
dc69964 |
- Remove patch now upstream.
|
|
|
229e573 |
- OCaml 4.05.0 rebuild.
|
|
|
229e573 |
|
|
|
19f5b30 |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-7
|
|
|
19f5b30 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
19f5b30 |
|
|
|
c6ea642 |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-6
|
|
|
c6ea642 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
c6ea642 |
|
|
|
2361d7d |
* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-5
|
|
|
2361d7d |
- OCaml 4.04.2 rebuild.
|
|
|
2361d7d |
|
|
|
c0b0abb |
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-4
|
|
|
c0b0abb |
- Bump release and rebuild.
|
|
|
c0b0abb |
|
|
|
4adf3b5 |
* Thu May 11 2017 Richard W.M. Jones <rjones@redhat.com> - 8.6-3
|
|
|
4adf3b5 |
- OCaml 4.04.1 rebuild.
|
|
|
4adf3b5 |
|
|
|
9ee358a |
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 8.6-2
|
|
|
9ee358a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
9ee358a |
|
|
|
06d597b |
* Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 8.6-1
|
|
|
06d597b |
- New upstream release
|
|
|
06d597b |
|
|
|
91467c8 |
* Sat Nov 05 2016 Richard W.M. Jones <rjones@redhat.com> - 8.5pl3-2
|
|
|
91467c8 |
- Rebuild for OCaml 4.04.0.
|
|
|
91467c8 |
|
|
|
99b5ee0 |
* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 8.5pl3-1
|
|
|
99b5ee0 |
- New upstream release
|
|
|
99b5ee0 |
- Remove obsolete scriptlets
|
|
|
99b5ee0 |
- Fix install path for coqdoc.sty
|
|
|
99b5ee0 |
|
|
|
b928f27 |
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 8.5pl2-1
|
|
|
b928f27 |
- New upstream release
|
|
|
b928f27 |
|
|
|
d0b6d47 |
* Fri Apr 22 2016 Jerry James <loganjerry@gmail.com> - 8.5pl1-1
|
|
|
d0b6d47 |
- New upstream release
|
|
|
d0b6d47 |
|
|
|
f256970 |
* Sat Feb 13 2016 Jerry James <loganjerry@gmail.com> - 8.5-2
|
|
|
f256970 |
- Workaround ocaml dep generator failure with ocaml-lablgtk
|
|
|
f256970 |
|
|
|
cbe14a3 |
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 8.5-1
|
|
|
cbe14a3 |
- New upstream release
|
|
|
cbe14a3 |
- Use camlp4 in preference to camlp5
|
|
|
cbe14a3 |
- Absorb -emacs-el into -emacs according to current guidelines
|
|
|
cbe14a3 |
- Update appdata for latest specification
|
|
|
cbe14a3 |
|
|
|
561d897 |
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 8.4pl6-6
|
|
|
561d897 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
561d897 |
|
|
|
f49eb37 |
* Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-5
|
|
|
f49eb37 |
- OCaml 4.02.3 rebuild.
|
|
|
f49eb37 |
|
|
|
054548b |
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-4
|
|
|
054548b |
- ocaml-4.02.2 final rebuild.
|
|
|
054548b |
|
|
|
c24a592 |
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl6-3
|
|
|
c24a592 |
- ocaml-4.02.2 rebuild.
|
|
|
c24a592 |
|
|
|
fb083cf |
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl6-2
|
|
|
fb083cf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
fb083cf |
|
|
|
9a656d1 |
* Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 8.4pl6-1
|
|
|
9a656d1 |
- New upstream release
|
|
|
9a656d1 |
- Drop upstreamed -fix-ints patch
|
|
|
9a656d1 |
- Update appdata URLs
|
|
|
9a656d1 |
|
|
|
e39408b |
* Mon Feb 16 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl5-4
|
|
|
e39408b |
- Bump release and rebuild.
|
|
|
e39408b |
|
|
|
2c0cca9 |
* Mon Feb 16 2015 Richard W.M. Jones <rjones@redhat.com> - 8.4pl5-3
|
|
|
2c0cca9 |
- ocaml-4.02.1 rebuild.
|
|
|
2c0cca9 |
|
|
Jerry James |
72fecbc |
* Thu Nov 6 2014 Jerry James <loganjerry@gmail.com> - 8.4pl5-2
|
|
Jerry James |
72fecbc |
- Rebuild for ocaml-camlp5 6.12
|
|
Jerry James |
72fecbc |
|
|
Jerry James |
e8c2be4 |
* Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 8.4pl5-1
|
|
Jerry James |
e8c2be4 |
- New upstream release
|
|
Jerry James |
e8c2be4 |
- Drop upstreamed comment patch
|
|
Jerry James |
e8c2be4 |
- Drop aarch64 bug workaround, fixed in ocaml 4.02.0
|
|
Jerry James |
e8c2be4 |
|
|
Rex Dieter |
12611ad |
* Thu Oct 02 2014 Rex Dieter <rdieter@fedoraproject.org> 8.4pl4-19
|
|
Rex Dieter |
12611ad |
- fix/update mime scriptlet
|
|
Rex Dieter |
12611ad |
|
|
Jerry James |
2b31845 |
* Wed Sep 17 2014 Jerry James <loganjerry@gmail.com> - 8.4pl4-18
|
|
Jerry James |
2b31845 |
- Rebuild due to ocaml update
|
|
Jerry James |
2b31845 |
- Fix license handling
|
|
Jerry James |
2b31845 |
|
|
|
082fabb |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-17
|
|
|
082fabb |
- Bump release and rebuild.
|
|
|
082fabb |
|
|
|
0082780 |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-16
|
|
|
869d0a3 |
- Bump release and rebuild.
|
|
|
0082780 |
- Fix to int types in OCaml > 4.02.0 and Fedora.
|
|
|
869d0a3 |
|
|
|
1231b8b |
* Sat Aug 30 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-14
|
|
|
1231b8b |
- ocaml-4.02.0 final rebuild.
|
|
|
1231b8b |
|
|
|
278e35c |
* Sun Aug 24 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-13
|
|
|
278e35c |
- ocaml-4.02.0+rc1 rebuild.
|
|
|
278e35c |
|
|
|
2a2cf7a |
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl4-12
|
|
|
2a2cf7a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
2a2cf7a |
|
|
|
5bf494c |
* Sat Aug 09 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-11
|
|
|
5bf494c |
- Add stublibs to library path to make coqide build.
|
|
|
5bf494c |
|
|
|
2ba1c54 |
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-10
|
|
|
07220d2 |
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
|
|
|
226b769 |
- Add workaround for build failure on aarch64.
|
|
|
2ba1c54 |
- BR emacs since emacs-nox no longer provides this binary (RHBZ#1123573).
|
|
|
226b769 |
|
|
|
891fa18 |
* Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-6
|
|
|
cbafaf9 |
- Add patch to fix build failure with OCaml 4.02.
|
|
|
cbafaf9 |
|
|
|
0f1da90 |
* Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl4-4
|
|
|
0f1da90 |
- Rebuild for OCaml 4.02.0 beta.
|
|
|
0f1da90 |
|
|
Richard Hughes |
ee3c0b1 |
* Wed Jul 16 2014 Richard Hughes <richard@hughsie.com> - 8.4pl4-3
|
|
Richard Hughes |
ee3c0b1 |
- Install the coq application icon in a standard location to fix display in
|
|
Richard Hughes |
ee3c0b1 |
gnome-software and Apper.
|
|
Richard Hughes |
ee3c0b1 |
|
|
|
6c366b8 |
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl4-2
|
|
|
6c366b8 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
6c366b8 |
|
|
Jerry James |
77deb5e |
* Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 8.4pl4-1
|
|
Jerry James |
77deb5e |
- New upstream release
|
|
Jerry James |
77deb5e |
|
|
|
07e5156 |
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 8.4pl3-3
|
|
|
07e5156 |
- Remove ocaml_arches macro (RHBZ#1087794).
|
|
|
07e5156 |
|
|
Jerry James |
13c9cab |
* Thu Jan 23 2014 Jerry James <loganjerry@gmail.com> - 8.4pl3-2
|
|
Jerry James |
13c9cab |
- Rebuild with fixed hevea package to get good HTML docs
|
|
Jerry James |
13c9cab |
- Hevea is now available on all architectures that support ocaml
|
|
Jerry James |
13c9cab |
- Drop Fedora 18 compatibility now that F-18 has reached EOL
|
|
Jerry James |
13c9cab |
- Add AppData file
|
|
Jerry James |
13c9cab |
|
|
Jerry James |
e8ff323 |
* Mon Dec 16 2013 Jerry James <loganjerry@gmail.com> - 8.4pl3-1
|
|
Jerry James |
e8ff323 |
- New upstream release
|
|
Jerry James |
e8ff323 |
|
|
|
6b22ed5 |
* Wed Oct 02 2013 Richard W.M. Jones <rjones@redhat.com> - 8.4pl2-4
|
|
|
6b22ed5 |
- Rebuild for ocaml-lablgtk 2.18.
|
|
|
6b22ed5 |
|
|
Jerry James |
b0d944c |
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 8.4pl2-3
|
|
Jerry James |
b0d944c |
- Rebuild for OCaml 4.01.0
|
|
Jerry James |
b0d944c |
- Enable debuginfo
|
|
Jerry James |
b0d944c |
|
|
|
688d057 |
* Fri Jul 26 2013 Ville Skyttä <ville.skytta@iki.fi> - 8.4pl2-2
|
|
|
688d057 |
- Install docs to %%{_pkgdocdir} where available.
|
|
|
688d057 |
|
|
Jerry James |
4006cf3 |
* Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 8.4pl2-1
|
|
Jerry James |
4006cf3 |
- New upstream release
|
|
Jerry James |
4006cf3 |
- Harden the build due to network use
|
|
Jerry James |
4006cf3 |
|
|
|
d92002f |
* Sat Feb 23 2013 Toshio Kuratomi <toshio@fedoraproject.org> - 8.4pl1-3
|
|
|
d92002f |
- Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077
|
|
|
d92002f |
|
|
|
72ae522 |
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.4pl1-2
|
|
|
72ae522 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
72ae522 |
|
|
Jerry James |
251a541 |
* Mon Jan 7 2013 Jerry James <loganjerry@gmail.com> - 8.4pl1-1
|
|
Jerry James |
251a541 |
- New upstream release
|
|
Jerry James |
251a541 |
- Drop upstreamed GDK patch
|
|
Jerry James |
251a541 |
- Adapt configure arguments to new version
|
|
Jerry James |
251a541 |
- Add csdp-tools requirement to get csdp binary
|
|
Jerry James |
251a541 |
|
|
|
de086fe |
* Thu Dec 13 2012 Jerry James <loganjerry@gmail.com> - 8.4-3
|
|
|
de086fe |
- Use minimal TeXLive BRs
|
|
|
de086fe |
|
|
|
06bcb09 |
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 8.4-2
|
|
|
06bcb09 |
- Rebuild for OCaml 4.00.1
|
|
|
61ea2d3 |
- Support more GDK key modifiers in the IDE (hyper, meta, release, super)
|
|
|
9887d05 |
- New BRs due to the new texlive package layout
|
|
|
9887d05 |
- Substitute the geometry package for fullpage.sty, which is not included in
|
|
|
9887d05 |
the latest Fedora TeXLive packages.
|
|
|
06bcb09 |
|
|
Jerry James |
1de423f |
* Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 8.4-1
|
|
Jerry James |
1de423f |
- New upstream release
|
|
Jerry James |
1de423f |
- Drop patch; merged upstream
|
|
Jerry James |
1de423f |
- Drop workaround for install bug; fixed in 8.4
|
|
Jerry James |
1de423f |
|
|
|
7bc5fec |
* Fri Jul 27 2012 Jerry James <loganjerry@gmail.com> - 8.3pl4-3
|
|
|
7bc5fec |
- ProofGeneral dropped support for XEmacs, so we have to drop it too
|
|
|
7bc5fec |
|
|
|
a7e2ae8 |
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.3pl4-3
|
|
|
a7e2ae8 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
a7e2ae8 |
|
|
|
e5323b3 |
* Mon Jun 11 2012 Richard W.M. Jones <rjones@redhat.com> - 8.3pl4-2
|
|
|
e5323b3 |
- Rebuild for OCaml 4.00.0.
|
|
|
e5323b3 |
|
|
|
b31f562 |
* Sat Jun 9 2012 Jerry James <loganjerry@gmail.com> - 8.3pl4-1
|
|
|
b31f562 |
- New upstream release
|
|
|
b31f562 |
|
|
|
caf4073 |
* Sat Jan 7 2012 Jerry James <loganjerry@gmail.com> - 8.3pl3-2
|
|
|
10d2f4c |
- Rebuild for Ocaml 3.12.1
|
|
|
10d2f4c |
|
|
|
74b0e5c |
* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 8.3pl3-1
|
|
|
74b0e5c |
- New upstream release
|
|
|
74b0e5c |
|
|
|
6837b55 |
* Tue Dec 06 2011 Adam Jackson <ajax@redhat.com> - 8.3pl2-4
|
|
|
6837b55 |
- Rebuild for new libpng
|
|
|
6837b55 |
|
|
|
b486518 |
* Thu Oct 27 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-3
|
|
|
b486518 |
- Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed
|
|
|
b486518 |
- Drop tar_base_name, no longer necessary
|
|
|
b486518 |
- Drop versioned dependencies for packages that meet the dep in F14
|
|
|
b486518 |
- Build without HTML documentation on arches lacking hevea
|
|
|
b486518 |
- Change ExclusiveArch to %%{ocaml_arches}
|
|
|
b486518 |
- Fix a broken conditional and a typo
|
|
|
b486518 |
|
|
|
cb1e9d8 |
* Wed Jun 15 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-2
|
|
|
cb1e9d8 |
- Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2
|
|
|
cb1e9d8 |
- Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff.
|
|
|
cb1e9d8 |
Coq tactics are written in ocaml, which compiles to arch-specific files,
|
|
|
cb1e9d8 |
and those files are stored in the same place as the noarch proof files.
|
|
|
5f19ebe |
- Move tutorial code into main package; it is small and we can then leave
|
|
|
5f19ebe |
all the rest of the documentation as noarch
|
|
|
cb1e9d8 |
|
|
|
9abe3a9 |
* Tue Apr 26 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-1
|
|
|
9abe3a9 |
- New upstream release
|
|
|
9abe3a9 |
- Change the list of supported arches to match the ocaml list, except for
|
|
|
9abe3a9 |
ppc64, which is missing hevea
|
|
|
9abe3a9 |
|
|
|
dd74bac |
* Mon Apr 4 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-2
|
|
|
dd74bac |
- Change the mime type to application/x-coq, and inherit from text/plain
|
|
|
dd74bac |
(bz 530254)
|
|
|
dd74bac |
|
|
|
09b853b |
* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-1
|
|
|
09b853b |
- New upstream release
|
|
|
09b853b |
- Drop BuildRoot tag and clean section
|
|
|
09b853b |
- Drop all patches (all merged or otherwise fixed upstream)
|
|
|
09b853b |
- Comply with latest Ocaml packaging specs
|
|
|
09b853b |
- Identify xdg-open as the default web browser
|
|
|
09b853b |
- Comply with the emacs packaging guidelines, and build an XEmacs package
|
|
|
09b853b |
- The -doc and -emacs* subpackages are now noarch
|
|
|
09b853b |
- Workaround bug 691913
|
|
|
09b853b |
- Drop PostScript documentation; it's identical to PDF documentation
|
|
|
09b853b |
- Deal with arch-specific files in /usr/share; install everything to libdir,
|
|
|
09b853b |
then move the noarch stuff to datadir, but leave symlinks behind
|
|
|
09b853b |
- Add a new mime type application/x-coqide and use it in the desktop file
|
|
|
09b853b |
- Add post and postun scripts
|
|
|
09b853b |
|
|
|
f7f5d5b |
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.2pl1-2
|
|
|
f7f5d5b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
|
f7f5d5b |
|
|
|
f181a00 |
* Wed Aug 05 2009 Alan Dunn <amdunn@gmail.com> - 8.2pl1-1
|
|
|
f181a00 |
- New upstream release
|
|
|
f181a00 |
- Eliminated modification of tar_base_name that occurred for only version 8.2
|
|
|
f181a00 |
- Added reference to bugzilla bug for ppc64 ExcludeArch
|
|
|
f181a00 |
- HTML form of documentation seems to no longer be distributed -> must generate
|
|
|
f181a00 |
Decided for consistency to generate all documentation
|
|
|
f181a00 |
- Additional file for iconv - documentation license file
|
|
|
f181a00 |
- Changed tutorial directory name, now also using bundled version
|
|
|
f181a00 |
of tutorial
|
|
|
f181a00 |
|
|
|
415eedf |
* Fri Jul 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.2-2
|
|
|
415eedf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
|
|
|
415eedf |
|
|
|
48f8ea1 |
* Thu Jun 18 2009 Alan Dunn <amdunn@gmail.com> - 8.2-1
|
|
|
48f8ea1 |
- New upstream release
|
|
|
48f8ea1 |
- Seems documentation license has changed or wasn't explicitly stated
|
|
|
48f8ea1 |
before, fixed (is ok Fedora license)
|
|
|
48f8ea1 |
- Added versioning to documentation
|
|
|
48f8ea1 |
- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant)
|
|
|
48f8ea1 |
- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Dropped cmxa-install patch (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Changed makefile-strip patch and name (not yet fixed upstream...)
|
|
|
48f8ea1 |
- Changed check.patch -> coq-check-(version).patch, slightly changed
|
|
|
48f8ea1 |
for 8.2 (not yet fixed upstream...)
|
|
|
48f8ea1 |
- Dropped parser-renaming makefile-parser.patch, parser-man.patch
|
|
|
48f8ea1 |
(fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Changed way source (.v) files are installed
|
|
|
48f8ea1 |
- Stopped addition of other icon file (icon fixed in Coq 8.2)
|
|
|
48f8ea1 |
- Bytecode executables are now "clean" (not build with custom -> don't
|
|
|
48f8ea1 |
need to configure prelink around these)
|
|
|
48f8ea1 |
- define -> global
|
|
|
48f8ea1 |
- Added ExcludeArch sparc64
|
|
|
48f8ea1 |
|
|
|
57b8a17 |
* Wed Jun 17 2009 S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org> 8.1pl4-3.1
|
|
|
57b8a17 |
- ExcludeArch s390, s390x as we don't have OCaml on those archs
|
|
|
57b8a17 |
|
|
|
5ba4127 |
* Wed Mar 04 2009 Alan Dunn <amdunn@gmail.com> - 8.1pl4-3
|
|
|
8dd82f7 |
- Minor change to cmxa-install patch instruction
|
|
|
8dd82f7 |
- Fixed to work with lablgtk 2.12
|
|
|
d76870d |
|
|
|
5ba4127 |
* Tue Feb 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.1pl4-2
|
|
|
5ba4127 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
|
|
|
5ba4127 |
|
|
|
6826838 |
* Fri Dec 5 2008 Richard W.M. Jones <rjones@redhat.com> - 8.1pl4-1
|
|
|
6826838 |
- New upstream version 8.1pl4.
|
|
|
6826838 |
- Attempt to rebuild against OCaml 3.11.0.
|
|
|
6826838 |
- Run make with VERBOSE=1 so we can see the actual commands.
|
|
|
6826838 |
- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
|
|
|
6826838 |
of camlp4 if it happens to be installed).
|
|
|
6826838 |
|
|
|
87f56ea |
* Wed Oct 22 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-5
|
|
|
87f56ea |
- Added Coq .v files into the main package at user request.
|
|
|
6826838 |
|
|
|
774db2a |
* Tue Sep 09 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-4
|
|
|
774db2a |
- Added creation of prelink blacklist for any bytecode files.
|
|
|
774db2a |
- Fixed execstack status for binaries.
|
|
|
6826838 |
|
|
|
affd8f0 |
* Tue Aug 05 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-3
|
|
|
affd8f0 |
- Changed parser to coq-parser to avoid name conflict with
|
|
|
affd8f0 |
coda-client.
|
|
|
affd8f0 |
- Made make process noisy again.
|
|
|
6826838 |
|
|
|
affd8f0 |
* Sun Jul 20 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2.1
|
|
|
affd8f0 |
- Minor bump for Fedora 8 to bring it into line with the rest.
|
|
|
6826838 |
|
|
|
82dc51b |
* Thu Jul 17 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2
|
|
|
82dc51b |
- Added check for Fedora distribution number to allow for Fedora 8 release.
|
|
|
6826838 |
|
|
Jerry James |
251a541 |
* Wed Jun 11 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-1
|
|
|
70caa8f |
- Initial Fedora RPM version.
|