2010-09-20 16:31:58 +02:00
|
|
|
libgmp10
|
2009-05-15 12:10:44 +02:00
|
|
|
obsoletes "gmp-<targettype>"
|
2009-04-23 14:59:42 +02:00
|
|
|
libgmpxx4
|
2008-04-10 13:18:14 +02:00
|
|
|
gmp-devel
|
2009-05-15 12:10:44 +02:00
|
|
|
requires -gmp-<targettype>
|
2010-09-20 16:31:58 +02:00
|
|
|
requires "libgmp10-<targettype> = <version>"
|
2009-05-15 12:10:44 +02:00
|
|
|
requires "libgmpxx4-<targettype> = <version>"
|