Borobudur is a Buddhist temple located in central Java (Indonesia). It is made of andesite, a volcanic rock common in the area—nearby volcano Mount Merapi is andesitic. But I have some troubles identifying the exact provenance of the stones. While looking for it, I have found various, contradictory claims.
For example, this architecture site says:
Borobudur Temple is made with andesite stones taken from neighbouring stone quarries.
Without further precision. On the contrary, this touristic site says:
Archaeologists have never discovered the quarry, where they mined and processed stones for its construction.
Finally, this UNESCO document says (p. 15):
The building material was not collected from quarries, but taken from neighbouring rivers.
This last one is interesting, as I know that blocks of andesite for sculpture are still extracted from lahar deposits in rivers around Merapi volcano (De Bélizal et al., 2011).
Considering the size of the temple, its construction must have required a large volume of stones, which should have left a trace in the landscape (although the landscape has changed a lot in a millennium due to volcanic eruptions!).
Where did Borobudur stones come from?