This commit is contained in:
parent
fec51f50ff
commit
210130d055
@ -30,7 +30,7 @@ BuildRequires: gap-devel >= 4.7.6
|
|||||||
BuildRequires: gap-rpm-devel
|
BuildRequires: gap-rpm-devel
|
||||||
BuildRequires: gmp-devel
|
BuildRequires: gmp-devel
|
||||||
BuildRequires: xz
|
BuildRequires: xz
|
||||||
Requires: gap-core >= 4.7.6
|
Requires: gap-core >= 4.8.2
|
||||||
Requires: gap-io >= 4.4.4
|
Requires: gap-io >= 4.4.4
|
||||||
Requires: gap-orb >= 4.7.3
|
Requires: gap-orb >= 4.7.3
|
||||||
Suggests: gap-gapdoc >= 1.5.1
|
Suggests: gap-gapdoc >= 1.5.1
|
||||||
|
Loading…
x
Reference in New Issue
Block a user