[Agda] [ANNOUNCE] Standard library v1.5 - release candidate 1

[mechvel at scico.botik.ru]

On 2021-01-13 05:40, Matthew Daggitt wrote:
> Dear all,
> 
> The Agda Team is pleased to announce the first release candidate for
> version 1.5 of the standard library. The release candidate has been
> tested using Agda 2.6.1 and Agda 2.6.1.1. This release includes many
> new features, the highlights of which are:
> 
> 	* Regular expressions which work over both arbitrary types and
> Strings.
> 	* Instance declarations for IsDecEquivalence and IsDecTotalOrder over
> various data types.
> 	* Bindings for Haskell's System.Environment and System.Exit.
> 
> The release candidate can be downloaded here [1].
> [..]


1.4 has lib.cabal in its root,
and 1.5-rc1  has agda-stdlib-utils.cabal  instead.
I applied
   > cabal new-update
   > cabal install

and it says it has installed something.
Is this all right?

------
Sergei