src_prepare-overlay/sci-mathematics/isabelle-bin
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
..
isabelle-bin-2021.ebuild sci-mathematics/isabelle-bin: add verison 2021 2021-11-06 19:16:15 +01:00
isabelle-bin-2023.ebuild sci-mathematics/isabelle-bin: add 2023 2024-02-28 02:30:04 +02:00
Manifest sci-mathematics/isabelle-bin: add 2023 2024-02-28 02:30:04 +02:00
metadata.xml sci-mathematics/isabelle-bin: add verison 2021 2021-11-06 19:16:15 +01:00