Commit Graph

1 Commits

Author SHA1 Message Date
Alfred Wingate
c456da5254
sci-mathematics/isabelle-bin: add 2024
Signed-off-by: Alfred Wingate <parona@protonmail.com>
2024-06-01 16:51:05 +03:00