+%package emacs
+Summary: Emacs mode and syntax for Coq
+Summary(pl.UTF-8): Tryb i składnia Coq dla Emacsa
+Group: Development/Tools
+Requires: %{name} = %{version}-%{release}
+
+%description emacs
+Emacs mode and suyntax files for Coq.
+
+%description emacs -l pl.UTF-8
+Pliki trybu i składni Coq dla Emacsa.
+
+%package latex
+Summary: Coq documentation style for latex
+Summary(pl.UTF-8): Styl dokumentacji Coq dla latexa
+Group: Development/Tools
+Requires: %{name} = %{version}-%{release}
+
+%description latex
+Coq documentation style for latex.
+
+%description latex -l pl.UTF-8
+Styl dokumentacji Coq dla latexa.
+