# 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.