[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness.
From: |
Julien Lepiller |
Subject: |
[bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness. |
Date: |
Wed, 10 Jan 2024 08:43:16 +0100 |
* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable.
---
gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 56ef2abcfe..062bef401a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -6467,6 +6467,30 @@ (define-public ocaml-ppx-custom-printf
string conversion.")
(license license:asl2.0)))
+(define-public ocaml-ppx-stable-witness
+ (package
+ (name "ocaml-ppx-stable-witness")
+ (version "0.16.0")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/ppx_stable_witness")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1ppmazy1vw0j44z1p60ln6fddz414zmyrqkpi54w6cr93giqsl2v"))))
+ (build-system dune-build-system)
+ (propagated-inputs (list ocaml-base ocaml-ppxlib))
+ (properties `((upstream-name . "ppx_stable_witness")))
+ (home-page "https://github.com/janestreet/ppx_stable_witness")
+ (synopsis "Mark a type as stable across versions")
+ (description "This ppx extension is used for deriving a witness that a
+type is intended to be stable. In this context, stable means that the
+serialization format will never change. This allows programs running at
+different versions of the code to safely communicate.")
+ (license license:expat)))
+
(define-public ocaml-bin-prot
(package
(name "ocaml-bin-prot")
--
2.41.0
- [bug#64249] [PATCH v9 05/34] gnu: Update coq-mathcomp to 1.17.0., (continued)
- [bug#64249] [PATCH v9 05/34] gnu: Update coq-mathcomp to 1.17.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 06/34] gnu: Update coq-autosubst to 1.8., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 09/34] gnu: coq: Update to 8.17.1., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 10/34] gnu: dune-bootstrap: Update to 3.11.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 12/34] gnu: ocaml-alcotest: Update to 1.7.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 07/34] gnu: Update coq-stdpp to 1.8.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 11/34] gnu: opam: Split build into smaller sub-packages., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 17/34] gnu: ocaml-ppx-bin-prot: Update to 0.16.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 08/34] gnu: Update coq-interval to 4.8.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 13/34] gnu: ocaml-sexplib: Update to 0.16.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness.,
Julien Lepiller <=
- [bug#64249] [PATCH v9 20/34] gnu: Add ocaml-ppx-deriving-yojson., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 21/34] gnu: Add ocaml-junit., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 25/34] gnu: Add ocaml-ppx-import., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 14/34] gnu: ocaml-ppxlib: Update to 0.28., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 19/34] gnu: ocaml-ppx-bench: Update to 0.16.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 18/34] gnu: ocaml-jst-config: Update to 0.16.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 23/34] gnu: Add ocaml-yaml., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 24/34] gnu: Add ocaml-ppx-deriving-yaml., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 16/34] gnu: ocaml-bin-prot: Update to 0.16.0., Julien Lepiller, 2024/01/10
- [bug#64249] [PATCH v9 27/34] gnu: Add dune-ordering., Julien Lepiller, 2024/01/10