New upstream version. License change: QPL with exceptions to GPLv2.

This commit is contained in:
Jerry James 2017-05-18 20:03:48 -06:00
parent 6702212978
commit 8b13e82bda
2 changed files with 14 additions and 9 deletions

View File

@ -7,12 +7,12 @@
%endif
Name: ocaml-menhir
Version: 20170101
Release: 3%{?dist}
Version: 20170509
Release: 1%{?dist}
Summary: LR(1) parser generator for OCaml
# The generator is QPL, with an exception granted to clause 6c.
License: QPL with exceptions
# The generator is GPLv2
License: GPLv2
URL: http://gallium.inria.fr/~fpottier/menhir/
Source0: http://gallium.inria.fr/~fpottier/menhir/menhir-%{version}.tar.gz
@ -28,8 +28,8 @@ Yann Régis-Gianas.
%package devel
Summary: Development files for %{name}
# The library is LGPLv2+ with a linking exception.
License: LGPLv2+ with exceptions
# The library is LGPLv2 with a linking exception.
License: LGPLv2 with exceptions
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
@ -40,7 +40,7 @@ for developing applications that use %{name}.
%setup -q -n menhir-%{version}
# Fix encodings
for f in AUTHORS menhir.1; do
for f in menhir.1; do
iconv -f ISO8859-1 -t UTF-8 $f > $f.fixed
touch -r $f $f.fixed
mv -f $f.fixed $f
@ -66,7 +66,7 @@ make install PREFIX=%{buildroot}%{_prefix} TARGET=%{target}
rm -fr %{buildroot}%{_docdir}/menhir
%files
%doc AUTHORS CHANGES manual.pdf demos
%doc CHANGES.md README.md manual.pdf demos
%license LICENSE
%{_bindir}/menhir
%{_mandir}/man1/menhir.1*
@ -74,8 +74,13 @@ rm -fr %{buildroot}%{_docdir}/menhir
%files devel
%{_libdir}/ocaml/menhirLib/
%{_libdir}/ocaml/menhirSdk/
%changelog
* Fri May 19 2017 Jerry James <loganjerry@gmail.com> - 20170509-1
- New upstream version
- License change: QPL with exceptions to GPLv2
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 20170101-3
- OCaml 4.04.1 rebuild.

View File

@ -1 +1 @@
SHA512 (menhir-20170101.tar.gz) = 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac
SHA512 (menhir-20170509.tar.gz) = 51d7a9f83dc8b31c3745c4eb86d5b6d952e54a4468e23aab7f413c316e40472612fe6ddb9503231ca93b14f6097e9624d7cd581d6ca5d7067fe3e98d0a3c10e1