The Collaborative International Dictionary of English v.0.48:

Rochelime \Roche"lime`\, n. [F. roche rock + E. lime.]
   Lime in the lump after it is burned; quicklime. [Eng.]
   [1913 Webster]