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." | |||
| 518 | (location->string (package-location pkg)))) | 518 | (location->string (package-location pkg)))) |
| 519 | (match (package-superseded pkg) | 519 | (match (package-superseded pkg) |
| 520 | ((? package? new) | 520 | ((? package? new) |
| 521 | (info (G_ "package '~a' has been superseded by '~a'~%") | 521 | (unless (assoc-ref (package-properties pkg) 'supress-supersession-info?) |
| 522 | (package-name pkg) (package-name new)) | 522 | (info (G_ "package '~a' has been superseded by '~a'~%") |
| 523 | (package-name pkg) (package-name new))) | ||
| 523 | new) | 524 | new) |
| 524 | (#f | 525 | (#f |
| 525 | pkg))) | 526 | pkg))) |
