Jan van Brügge ed0f599b4f isabelle: mark as broken on darwin ... There is no dedicated darwin maintainer for isabelle		2024-07-06 18:41:30 +01:00
..
components
package.nix	isabelle: mark as broken on darwin	2024-07-06 18:41:30 +01:00