深泉县

汉晋之渊泉县。在今甘肃安西安东三道沟附近。《晋书·地理志》讹为深泉县。