# HG changeset patch
# User wenzelm
# Date 925735432 -7200
# Node ID 8338dd394144f3eaa5d5fccbc252da9b27361d2d
# Parent  7ed743d18af702da656d648cbb0d205942eeaa9b
fixed reqs?

diff -r 7ed743d18af7 -r 8338dd394144 Admin/makerpm
--- 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.