Merge pull request #391 from ejgallego/btauto

[serlib] Support btauto Coq plugin
rocq-archive · Feb 21, 2024 · 6620b77 · 6620b77
2 parents e25a10c + 3e0e91b
commit 6620b77
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git 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
@@ -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))