diff options
| -rw-r--r-- | gnu/packages.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages.scm b/gnu/packages.scm index ee99dea2cab..d859feadf62 100644 --- a/gnu/packages.scm +++ b/gnu/packages.scm @@ -518,8 +518,9 @@ return its return value." (location->string (package-location pkg)))) (match (package-superseded pkg) ((? package? new) - (info (G_ "package '~a' has been superseded by '~a'~%") - (package-name pkg) (package-name new)) + (unless (assoc-ref (package-properties pkg) 'supress-supersession-info?) + (info (G_ "package '~a' has been superseded by '~a'~%") + (package-name pkg) (package-name new))) new) (#f pkg))) |