--- a/Admin/makerpm Mon May 03 11:19:08 1999 +0200
+++ b/Admin/makerpm Mon May 03 14:43:52 1999 +0200
@@ -145,14 +145,14 @@
%package HOL
Summary: Isabelle Theorem Proving Environment -- Higher-Order Logic
Group: Applications/Math
-Requires: %{name} = %{version}
+Requires: isabelle
%description HOL
This package contains a binary image of the HOL object-logic for Isabelle.
%package ZF
Summary: Isabelle Theorem Proving Environment -- Zermelo-Fraenkel set theory
Group: Applications/Math
-Requires: %{name} = %{version}
+Requires: isabelle
%description ZF
This package contains a binary image of the ZF object-logic for Isabelle.