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

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