Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 4 hits of 4. Search took 0.00 seconds.

1

Search results for cudd-NuSMV :

RedHat EL 5	/packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5/cudd-2.4.1-3.el5.an.x86_64.rpm
RedHat EL 5	/packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5/cudd-2.4.1-3.el5.an.i386.rpm
RedHat EL 5	/packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5/cudd-2.4.1-1.el5.x86_64.rpm
RedHat EL 5	/packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5/cudd-2.4.1-1.el5.i686.rpm

1