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