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 +;;; Copyright © 2021 Isaac Young ;;; ;;; 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 ;;; Copyright © 2019 Timotej Lazar ;;; Copyright © 2020 James Smith -;;; Copyright © 2020 Jonathan Brielmaier +;;; Copyright © 2020,2021 Jonathan Brielmaier ;;; ;;; 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