Ask HN: Are there any user-agent aware url shorteners out there?

I'd like to find a url shortener like goo.gl or tinyurl.com that is able to redirect to different urls for given different user agents. One reason to have a service is to be able to provide different download links of an app for different operating systems.