Admin/makerpm
changeset 6567 8338dd394144
parent 6562 ac091e18b9fc
child 6591 6a753a6d6738
--- 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.