As far as I know all Irish decimal coins were struck at The Royal Mint in Llantrisant, Wales until the mid-1970s and thereafter at the new Irish Mint in Sandyford, County Dublin. However during the mid-seventies the Kings Norton Metal Company / Birmingham Mint did indeed strike some pattern Irish coins:
https://oldcurrencyexchange.com/201...-collection/
I wouldn't know how to identify these from standard coins, but any stray VF 1976 Irish 10p is certain to be a normal circulation coin, which had a mintage of 9,433,000 - quite high for Ireland.
https://oldcurrencyexchange.com/201...-collection/
I wouldn't know how to identify these from standard coins, but any stray VF 1976 Irish 10p is certain to be a normal circulation coin, which had a mintage of 9,433,000 - quite high for Ireland.



















