diff options
Diffstat (limited to 'nongnu')
| -rw-r--r-- | nongnu/packages/coq.scm | 1 | ||||
| -rw-r--r-- | nongnu/packages/linux.scm | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index a0bad48..505df7d 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2020 Julien Lepiller <julien@lepiller.eu> +;;; Copyright © 2021 Isaac Young <isyoung@pm.me> ;;; ;;; This file is not part of GNU Guix. ;;; diff --git a/nongnu/packages/linux.scm b/nongnu/packages/linux.scm index 706f267..c079c2b 100644 --- a/nongnu/packages/linux.scm +++ b/nongnu/packages/linux.scm @@ -3,7 +3,7 @@ ;;; Copyright © 2019 Giacomo Leidi <goodoldpaul@autistici.org> ;;; Copyright © 2019 Timotej Lazar <timotej.lazar@araneo.si> ;;; Copyright © 2020 James Smith <jsubuntuxp@disroot.org> -;;; Copyright © 2020 Jonathan Brielmaier <jonathan.brielmaier@web.de> +;;; Copyright © 2020,2021 Jonathan Brielmaier <jonathan.brielmaier@web.de> ;;; ;;; This program is free software: you can redistribute it and/or modify ;;; it under the terms of the GNU General Public License as published by |