Rebuild for coq 8.12.2.
This commit is contained in:
parent
5910065a12
commit
d2c9d1b88c
@ -11,7 +11,7 @@
|
|||||||
|
|
||||||
Name: ocaml-menhir
|
Name: ocaml-menhir
|
||||||
Version: 20201201
|
Version: 20201201
|
||||||
Release: 1%{?dist}
|
Release: 2%{?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 Dec 23 2020 Jerry James <loganjerry@gmail.com> - 20201201-2
|
||||||
|
- Rebuild for coq 8.12.2
|
||||||
|
|
||||||
* Wed Dec 2 2020 Jerry James <loganjerry@gmail.com> - 20201201-1
|
* Wed Dec 2 2020 Jerry James <loganjerry@gmail.com> - 20201201-1
|
||||||
- Version 20201201
|
- Version 20201201
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user