Version 20200612.
This commit is contained in:
parent
43d17c1540
commit
edcc2b3e62
@ -5,8 +5,8 @@
|
||||
%bcond_without coq
|
||||
|
||||
Name: ocaml-menhir
|
||||
Version: 20200211
|
||||
Release: 6%{?dist}
|
||||
Version: 20200612
|
||||
Release: 1%{?dist}
|
||||
Summary: LR(1) parser generator for OCaml
|
||||
|
||||
# The generator is GPLv2
|
||||
@ -119,7 +119,7 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
|
||||
%endif
|
||||
|
||||
%files
|
||||
%doc CHANGES.md README.md doc/manual.pdf
|
||||
%doc doc/manual.pdf
|
||||
%license LICENSE
|
||||
%{_bindir}/menhir
|
||||
%{_mandir}/man1/menhir.1*
|
||||
@ -162,6 +162,9 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
|
||||
%endif
|
||||
|
||||
%changelog
|
||||
* Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 20200612-1
|
||||
- Version 20200612
|
||||
|
||||
* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 20200211-6
|
||||
- Rebuild for coq 8.11.1
|
||||
|
||||
|
2
sources
2
sources
@ -1 +1 @@
|
||||
SHA512 (menhir-20200211.tar.bz2) = 9b9f9d7373a914d7aea570e429b62ea94d2360f307fcba8476982985c82e19afc245a7ade49ed93c7d25cca7b976ba675235dcf9c733149548152f5482a5bc97
|
||||
SHA512 (menhir-20200612.tar.bz2) = 6a2c89aa6240dbc8d2d3aa9bc87adf74beb5c73982ab3ee5eb20e115cb2eb5f90c6b9ebdf2ad4f64727522d5607ae2183b0f44333fbfe184e59af3e3167ece01
|
||||
|
Loading…
Reference in New Issue
Block a user