Hi, The pull request for homebrew-core was merged, so there's no more need to use the experimental tap.
I updated to the latest release just before they merged. Best regards, Eran. On Tue, Jun 21, 2016 at 6:07 PM, Adam Chlipala <ad...@csail.mit.edu> wrote: > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Client-side: detect session timeout and ask the user to reload > - New Basis math functions: abs, acos, asin, atan, atan2, cos, exp, floor, > log, pow, sqrt, sin > - Compatibility fixes for newer C and SML compilers > - Bug fixes > > > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur