From d29eaced5f838c164481e54deacd830b7f208e83 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 9 Aug 2022 17:57:06 +0900
Subject: acl2: Update copyright.

---
 tojo-tokyo/packages/acl2.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
 ;;;
-- 
cgit v1.2.3