Commit Graph

1 Commits

Author SHA1 Message Date
Alfred Wingate
a221a296d3
sci-mathematics/isabelle-bin: add 2023
Signed-off-by: Alfred Wingate <parona@protonmail.com>
2024-02-28 02:30:04 +02:00