From d09a927b143bd1b197cb885e3740854cd25adc2c Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 15 Feb 2024 19:15:03 +0100 Subject: [PATCH 1/2] [changes] Update changes file for 0.19 release --- CHANGES.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 779a68ab..80d4701b 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,9 @@ ## unreleased +## 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: From 3e0e91ba397c91dde851f668f091364eacddd36f Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 15 Feb 2024 19:15:31 +0100 Subject: [PATCH 2/2] [serlib] Support `btauto` Coq plugin --- CHANGES.md | 2 ++ serlib/plugins/btauto/dune | 6 ++++++ 2 files changed, 8 insertions(+) create mode 100644 serlib/plugins/btauto/dune diff --git a/CHANGES.md b/CHANGES.md index 80d4701b..6d258abc 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ ## unreleased + - [serlib] Support `btauto` Coq plugin (@ejgallego, #362) + ## Version 0.19.0 - [serapi] (!) support for Coq 8.19, thanks to all the developers 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))