Jiri Slaby afb18f8dc0 _constraints: more updates for ppc64le ...

The resources page says:
 Maximal used disk space: 10721 Mbyte
 Maximal used memory: 7093 Mbyte

So do not lower the disk requirement for ppc64le at all.

And increase the mem lower limit to 8G.

2025-12-17 12:18:05 +01:00

_constraints

_constraints: more updates for ppc64le

2025-12-17 12:18:05 +01:00

_service

initial import

2025-05-30 11:07:14 +02:00

_servicedata

initial import

2025-05-30 11:07:14 +02:00

.gitattributes

initial import

2025-05-30 11:07:14 +02:00

.gitignore

initial import

2025-05-30 11:07:14 +02:00

0001-don-t-add-static-minisat-lib.patch

up to 6.0.0

2025-05-30 11:25:56 +02:00

0002-do-not-build-with-Werror.patch

up to 6.0.0

2025-05-30 11:25:56 +02:00

0003-make-bash_completion-conforming-to-SUSE.patch

up to 6.0.0

2025-05-30 11:25:56 +02:00

0004-do-not-run-c_library_check.patch

up to 6.0.0

2025-05-30 11:25:56 +02:00

cbmc-6.8.0.tar.gz

up to 6.8.0

2025-12-16 16:41:42 +08:00

cbmc.changes

_constraints: more updates for ppc64le

2025-12-17 12:18:05 +01:00

cbmc.obsinfo

initial import

2025-05-30 11:07:14 +02:00

cbmc.spec

up to 6.8.0

2025-12-16 16:41:42 +08:00

Description

No description provided

26 MiB

Languages

Diff 100%