| Comment: | boost-openmpi-devel is signed with Red Hat redhatrelease2 key |
| Type: | rpminfo_test | Namespace: | redhat |
| Check_Existence: | | Check: | at least one |
| State Operator: | AND |
| References |
| State: | oval:com.redhat.rhba:ste:20130009002 |
| Object: | oval:com.redhat.rhsa:obj:20130668015 |
| Object: | oval:com.redhat.rhsa:obj:20130668016 |
| Object: | oval:com.redhat.rhsa:obj:20130668017 |
| Object: | oval:com.redhat.rhsa:obj:20130668018 |
| Object: | oval:com.redhat.rhsa:obj:20130668019 |
| State: | oval:com.redhat.rhsa:ste:20130144002 |
| State: | oval:com.redhat.rhsa:ste:20130668005 |
| State: | oval:com.redhat.rhsa:ste:20130668009 |
| Referencing Definitions |
|