diff options
author | Marius Bakke <marius@gnu.org> | 2022-09-10 17:30:17 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2022-09-10 17:30:17 +0200 |
commit | 1d526f5035ce51305d8f414b8f55066adedb6f91 (patch) | |
tree | 7cc1fb957d10d06b770bb55dfa30dd3a00beec5d /gnu/packages/java.scm | |
parent | b4693f4a58b977c92282c81d3032f5be990e866a (diff) | |
parent | 07140e8b10c56bc271c74fa82470a900684b91c6 (diff) |
Merge branch 'staging' into core-updates
Diffstat (limited to 'gnu/packages/java.scm')
-rw-r--r-- | gnu/packages/java.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 73898d120c..bb172f3bee 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -14323,3 +14323,9 @@ The following TLA+ tools are available in this distribution: @item The PlusCal translator. @end itemize") (license license:expat)))) + +;;; +;;; Avoid adding new packages to the end of this file. To reduce the chances +;;; of a merge conflict, place them above by existing packages with similar +;;; functionality or similar names. +;;; |