nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-23 04:25:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
657,351 Commits 182 Branches 125 Tags 6 GiB
b52e1d82de
Commit Graph

2 Commits

Author SHA1 Message Date
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
Jan van Brügge
17219eb17a
isabelle: 2023 -> 2024 2024-07-06 18:41:28 +01:00