diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 22:16:11 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 22:16:11 +0100 |
| commit | 919727dcd45af372dccb0ad3dec752a01e1f1650 (patch) | |
| tree | 2ecfd4c4f527ffbac1feb076abbbf6646999083a /nongnu/packages/coq.scm | |
| parent | f4b1320b48ea3c84c111300106f381328f13d6d5 (diff) | |
nongnu: Add missing copyright headers for Isaac and me.
* nongnu/packages/coq.scm: Add copyright for Isaac Young.
* nongnu/packages/linux.scm: Add copyright year for me.
Diffstat (limited to 'nongnu/packages/coq.scm')
| -rw-r--r-- | nongnu/packages/coq.scm | 1 |
1 files changed, 1 insertions, 0 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. ;;; |