Sadly, it did have a CyberStormPPC, CyberVisionPPC in it a few weeks ago.
The CVPPC is listed separately, and a very dead CSPPC is available if someone is interested. When I bought the CSPPC a while back I was warned that the PPC side didn't start up all the time. I never had a moment of trouble with it. I ordered and installed OS4.1FE a few weeks ago and ran it for about a week solid. The SCSI chip failed, then the PPC and finally the whole board died. I moved the CVPPC, the 060 and the RAM to another board, they are tested and work great.
Check out the other items I have listed as well. I have a Hydra Systems Amiganet NIC for sale and a Merlin RTG board and an RBM ONBoard 4000/Towerhawk rig too. Sold my A3660 (A3640 with 060 conversion) boards, sold my other A4000s - this is the last machine to go.