diff options
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
| -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. ;;; |