Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - New experimental checker for information flow and access control policies (See demo at http://www.impredicative.com/ur/scdv/)