search

mattpolzin / nix-idris2-packages

5 stars 1 forks source link

unbreak c-ffi package #11

Closed mattpolzin closed 1 month ago