Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
f8e32ea1cfb6c2420c174de1ed2529b6db8590c2
nixpkgs/pkgs/by-name/yi/yices
History