mattpolzin / nix-idris2-packages

1 stars 0 forks source link

remove broken.json in favor of just using overrides to mark broken packages #18

Closed mattpolzin closed 1 day ago