diff options
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. ;;; |