Rebuild for coq 8.11.1.
This commit is contained in:
parent
713f57c5ec
commit
43d17c1540
@ -2,11 +2,11 @@
|
|||||||
%global debug_package %{nil}
|
%global debug_package %{nil}
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
%bcond_with coq
|
%bcond_without coq
|
||||||
|
|
||||||
Name: ocaml-menhir
|
Name: ocaml-menhir
|
||||||
Version: 20200211
|
Version: 20200211
|
||||||
Release: 5%{?dist}
|
Release: 6%{?dist}
|
||||||
Summary: LR(1) parser generator for OCaml
|
Summary: LR(1) parser generator for OCaml
|
||||||
|
|
||||||
# The generator is GPLv2
|
# The generator is GPLv2
|
||||||
@ -162,6 +162,9 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
|
|||||||
%endif
|
%endif
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 20200211-6
|
||||||
|
- Rebuild for coq 8.11.1
|
||||||
|
|
||||||
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-5
|
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-5
|
||||||
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user