summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/ocaml.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2fd53b01b5..2aded62e69 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5096,6 +5096,7 @@ a more consistent API.")
(build-system dune-build-system)
(arguments
'(#:tests? #f)) ;no tests
+ (properties `((upstream-name . "ppx_derivers")))
(synopsis "Shared @code{@@deriving} plugin registry")
(description
"Ppx_derivers is a tiny package whose sole purpose is to allow