diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:57:06 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:57:06 +0900 |
| commit | d29eaced5f838c164481e54deacd830b7f208e83 (patch) | |
| tree | 8a54cbce89670c625689dd0d49da1ba4b38dfe28 /tojo-tokyo/packages | |
| parent | 166042edda99f64bc9fc231ffe0b8dec530568fe (diff) | |
acl2: Update copyright.
Diffstat (limited to 'tojo-tokyo/packages')
| -rw-r--r-- | tojo-tokyo/packages/acl2.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm index 8d982fd..d57032a 100644 --- a/tojo-tokyo/packages/acl2.scm +++ b/tojo-tokyo/packages/acl2.scm @@ -1,5 +1,5 @@ ;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package -;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo> +;;; Copyright © 2021, 2022 Masaya Tojo <masaya@tojo.tokyo> ;;; ;;; This file is part of tojo-tokyo-guix-config. ;;; |