Holley barely even got a chance to practice. It sucks for him, and I hope he has a good recovery, but he wasn't going to play this year.
Orr and Cummings are firmly entrenched as the starters, and Ivie, Brantley, and Bostwick are all solidly in at the #2 positions. Even Khairi Clark was ahead of Holley (another freshmen DT that was recruited this year) because of Holley's injury issues.
One big positive for Florida in fall camp was the emergence of Gerald Willis. He is going to terrorize some QB's this year off the bench.