diff --git a/CHANGES.md b/CHANGES.md
index 779a68ab..6d258abc 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,11 @@
 ## unreleased
 
+ - [serlib] Support `btauto` Coq plugin (@ejgallego, #362)
+
+## Version 0.19.0
+
+ - [serapi] (!) support for Coq 8.19, thanks to all the developers
+            that contributed compatibility patches.
  - [general] Cleanup old / unused code (@ejgallego, #362)
 
 ## Version 0.18.1:
diff --git a/serlib/plugins/btauto/dune b/serlib/plugins/btauto/dune
new file mode 100644
index 00000000..32b6cc6c
--- /dev/null
+++ b/serlib/plugins/btauto/dune
@@ -0,0 +1,6 @@
+(library
+ (name serlib_btauto)
+ (public_name coq-serapi.serlib.btauto)
+ (synopsis "Serialization Library for Coq BTauto Plugin")
+ (preprocess (staged_pps ppx_import ppx_sexp_conv ppx_deriving_yojson ppx_hash ppx_compare))
+ (libraries coq-core.plugins.btauto serlib sexplib))