The Part #s for them are different but they look the same, the manual clutch is cheaper anyways:
Manual
Auto
Edit: While they did have different numbers, it appears the manual one I linked above is also listed for F1 cars so I assume this is the later clutch design which is supposedly better wearing.