search

mattpolzin / nix-idris2-packages

1 stars 0 forks source link

Support building with source #4

Closed mattpolzin closed 1 week ago