diff --git a/Makefile b/Makefile
index bc534202..89e68738 100644
--- a/Makefile
+++ b/Makefile
@@ -116,4 +116,4 @@ update_next_tag:
 udpate_sequence:
 	git subtree pull --prefix sequence sequence stable --squash
 
-.PHONY: examples push_doc tags qtest update_sequence
+.PHONY: examples push_doc tags qtest update_sequence update_next_tag
diff --git a/_oasis b/_oasis
index 1bf48bc4..17d82e36 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        containers
-Version:     0.4
+Version:     dev
 Homepage:    https://github.com/c-cube/ocaml-containers
 Authors:     Simon Cruanes
 License:     BSD-2-clause
@@ -50,8 +50,6 @@ Library "containers"
                     CCRandom, CCKTree, CCTrie, CCString, CCHashtbl,
                     CCFlatHashtbl, CCSexp, CCMap
   BuildDepends:     bytes
-  XMETARequires:    cppo
-  FindlibName:      containers
 
 Library "containers_string"
   Path:             string
diff --git a/core/CCError.mli b/core/CCError.mli
index 17297bb6..95929888 100644
--- a/core/CCError.mli
+++ b/core/CCError.mli
@@ -26,7 +26,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 (** {1 Error Monad}
 
-The variant is polymorphic in the error type since NEXT_RELEASE *)
+The variant is polymorphic in the error type since 0.5 *)
 
 type 'a sequence = ('a -> unit) -> unit
 type 'a equal = 'a -> 'a -> bool
@@ -60,7 +60,7 @@ val map : ('a -> 'b) -> ('a, 'err) t -> ('b, 'err) t
 
 val map_err : ('err1 -> 'err2) -> ('a, 'err1) t -> ('a, 'err2) t
 (** Map on error.
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 val map2 : ('a -> 'b) -> ('err -> 'err) -> ('a, 'err) t -> ('b, 'err) t
 (** Same as {!map}, but also with a function that can transform
@@ -92,7 +92,7 @@ val fold : success:('a -> 'b) -> failure:('err -> 'b) -> ('a, 'err) t -> 'b
 (** {2 Wrappers}
 
 The functions {!guard}, {!wrap1}, {!wrap2} and {!wrap3} now return
-exceptions in case of failure, @since NEXT_RELEASE *)
+exceptions in case of failure, @since 0.5 *)
 
 val guard : (unit -> 'a) -> ('a, exn) t
 (** [guard f] runs [f ()] and returns its result wrapped in [`Ok]. If
diff --git a/core/CCFun.mli b/core/CCFun.mli
index 59af0e40..6ac21173 100644
--- a/core/CCFun.mli
+++ b/core/CCFun.mli
@@ -37,7 +37,7 @@ val (%>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
 
 val (@@) : ('a -> 'b) -> 'a -> 'b
 (** [f @@ x] is the same as [f x], but right-associative.
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 val id : 'a -> 'a
 (** Identity function *)
diff --git a/core/CCInt.mli b/core/CCInt.mli
index 3fcd33ac..12a9040c 100644
--- a/core/CCInt.mli
+++ b/core/CCInt.mli
@@ -39,7 +39,7 @@ val sign : t -> int
 
 val neg : t -> t
 (** [neg i = - i]
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 type 'a printer = Buffer.t -> 'a -> unit
 type 'a formatter = Format.formatter -> 'a -> unit
diff --git a/core/CCList.mli b/core/CCList.mli
index 939888c4..160348a5 100644
--- a/core/CCList.mli
+++ b/core/CCList.mli
@@ -35,7 +35,7 @@ val map : ('a -> 'b) -> 'a t -> 'b t
 
 val (>|=) : 'a t -> ('a -> 'b) -> 'b t
 (** Infix version of [map] with reversed arguments
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 val append : 'a t -> 'a t -> 'a t
 (** Safe version of append *)
diff --git a/core/CCMap.mli b/core/CCMap.mli
index 385c714a..2ff1d310 100644
--- a/core/CCMap.mli
+++ b/core/CCMap.mli
@@ -27,7 +27,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 (** {1 Extensions of Standard Map}
 
 Provide useful functions and iterators on [Map.S]
-@since NEXT_RELEASE *)
+@since 0.5 *)
 
 type 'a sequence = ('a -> unit) -> unit
 type 'a printer = Buffer.t -> 'a -> unit
diff --git a/core/CCOpt.mli b/core/CCOpt.mli
index 838f04e7..2e810568 100644
--- a/core/CCOpt.mli
+++ b/core/CCOpt.mli
@@ -63,11 +63,11 @@ val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
 val filter : ('a -> bool) -> 'a t -> 'a t
 (** Filter on 0 or 1 elements
 
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 val get : 'a -> 'a t -> 'a
 (** [get default x] unwraps [x], but if [x = None] it returns [default] instead.
-    @since NEXT_RELEASE *)
+    @since 0.5 *)
 
 val get_exn : 'a t -> 'a
 (** Open the option, possibly failing if it is [None]
diff --git a/core/CCSequence.mli b/core/CCSequence.mli
index 7e3b6a63..cd4084b3 100644
--- a/core/CCSequence.mli
+++ b/core/CCSequence.mli
@@ -606,7 +606,7 @@ module IO : sig
 
   val write_bytes_to : ?mode:int -> ?flags:open_flag list ->
                        string -> Bytes.t t -> unit
-  (** @since NEXT_RELEASE *)
+  (** @since 0.5 *)
 
   val write_lines : ?mode:int -> ?flags:open_flag list ->
                     string -> string t -> unit
@@ -614,5 +614,5 @@ module IO : sig
 
   val write_bytes_lines : ?mode:int -> ?flags:open_flag list ->
                     string -> Bytes.t t -> unit
-  (** @since NEXT_RELEASE *)
+  (** @since 0.5 *)
 end
diff --git a/core/CCSexp.mli b/core/CCSexp.mli
index 152b4b8e..596a08be 100644
--- a/core/CCSexp.mli
+++ b/core/CCSexp.mli
@@ -252,11 +252,11 @@ Sexp.Traverse.list_all pt_of_sexp sexp;;
 module Traverse : sig
   type 'a conv = t -> 'a option
   (** A converter from S-expressions to 'a is a function [sexp -> 'a option].
-      @since NEXT_RELEASE *)
+      @since 0.5 *)
 
   val map_opt : ('a -> 'b option) -> 'a list -> 'b list option
   (** Map over a list, failing as soon as the function fails on any element
-      @since NEXT_RELEASE *)
+      @since 0.5 *)
 
   val list_any : 'a conv -> t -> 'a option
   (** [list_any f (List l)] tries [f x] for every element [x] in [List l],
@@ -284,19 +284,19 @@ module Traverse : sig
   val to_list_with : (t -> 'a option) -> 'a list conv
   (** Expect a list, applies [f] to all the elements of the list, and succeeds
       only if [f] succeeded on every element 
-      @since NEXT_RELEASE *)
+      @since 0.5 *)
 
   val to_pair : (t * t) conv
   (** Expect a list of two elements *)
 
   val to_pair_with : 'a conv -> 'b conv -> ('a * 'b) conv
   (** Same as {!to_pair} but applies conversion functions
-      @since NEXT_RELEASE *)
+      @since 0.5 *)
 
   val to_triple : (t * t * t) conv
 
   val to_triple_with : 'a conv -> 'b conv -> 'c conv -> ('a * 'b * 'c) conv
-      (* @since NEXT_RELEASE *)
+      (* @since 0.5 *)
 
   val get_field : string -> t conv
   (** [get_field name e], when [e = List [(n1,x1); (n2,x2) ... ]], extracts
@@ -314,7 +314,7 @@ module Traverse : sig
   (** [field_list name f  "(... (name a b c d) ...record)"]
       will look for a field based on the given [name], and expect it to have a
       list of arguments dealt with by [f] (here, "a b c d").
-      @since NEXT_RELEASE *)
+      @since 0.5 *)
 
   val (>>=) : 'a option -> ('a -> 'b option) -> 'b option
 
diff --git a/pervasives/CCPervasives.ml b/pervasives/CCPervasives.ml
index b87db046..5e38bcd4 100644
--- a/pervasives/CCPervasives.ml
+++ b/pervasives/CCPervasives.ml
@@ -39,7 +39,7 @@ This module is meant to be opened if one doesn't want to use both, say,
 Changed [Opt] to [Option] to better reflect that this module is about the
 ['a option] type, with [module Option = CCOpt].
 
-@since NEXT_RELEASE
+@since 0.5
 *)
 
 module Array = struct include Array include CCArray end