shell:$ nslookup -timeout=2 -retry=1 'repositories.lib.utexas.edu'
Server:		127.0.0.53
Address:	127.0.0.53#53

Non-authoritative answer:
Name:	repositories.lib.utexas.edu
Address: 52.4.117.244