Index of /src_prepare-overlay/sci-mathematics/isabelle-bin

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                02-Jun-2024 02:47  1.2K  
[TXT] isabelle-bin-2023.eb..> 28-Feb-2024 03:20  2.1K  
[TXT] isabelle-bin-2024.eb..> 02-Jun-2024 02:47  2.2K  
[   ] metadata.xml            19-Nov-2022 10:05  636