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