commit f44997140d3a699a3b97b1ec3b0c24795728488c
Author: Jan Rękorajski <[email protected]>
Date: Tue May 14 13:25:27 2013 +0200
- rel 2
coq.spec | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index 493eb37..25c9f7d 100644
--- a/coq.spec
+++ b/coq.spec
@@ -9,7 +9,7 @@ Summary: The Coq Proof Assistant
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.3pl1
-Release: 1
+Release: 2
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
@@ -32,6 +32,7 @@ BuildRequires: texlive-latex-comment
BuildRequires: texlive-latex-moreverb
BuildRequires: texlive-psutils
BuildRequires: texlive-format-pdflatex
+%requires_eq ocaml-runtime
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%description
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/f44997140d3a699a3b97b1ec3b0c24795728488c
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
