Preparation for the release of version 0.8.1

README.agda

@@ -1,7 +1,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, development version
+-- The Agda standard library, version 0.8.1
 --
 -- Author: Nils Anders Danielsson, with contributions from Andreas
 -- Abel, Stevan Andjelkovic, Jean-Philippe Bernardy, Peter Berry,
@@ -13,8 +13,7 @@ module README where
 -- Pouillard, Andrés Sicard-Ramírez and Noam Zeilberger.
 ------------------------------------------------------------------------
 
--- The development version of the library often requires the latest
--- development version of Agda.
+-- This version of the library has been tested using Agda 2.4.2.
 
 -- Note that no guarantees are currently made about forwards or
 -- backwards compatibility, the library is still at an experimental

lib.cabal

@@ -1,5 +1,5 @@
 name:            lib
-version:         0.8
+version:         0.8.1
 cabal-version:   >= 1.8
 build-type:      Simple
 description:     Helper programs.

release-notes.txt

@@ -1,8 +1,8 @@
 ------------------------------------------------------------------------
--- Release notes for Agda standard library version 0.9
+-- Release notes for Agda standard library version 0.8.1
 ------------------------------------------------------------------------
 
-The library has been tested using Agda version A.B.C.
+The library has been tested using Agda version 2.4.2.
 
 Note that no guarantees are made about backwards or forwards
 compatibility, the library is still at an experimental stage.
@@ -21,7 +21,7 @@ Important changes since 0.8:
 
 * Reflection API
 
-  Agda A.B.C added support for literals, function definitions, pattern
+  Agda 2.4.2 added support for literals, function definitions, pattern
   matching lambdas and absurd clause/patterns (see Agda A.B.C release
   notes). The new supported entities were added to the Reflection.agda
   module.