tiiuae / ghaf

TII SSRC Secure Technologies: Ghaf Framework
https://tiiuae.github.io/ghaf/
Apache License 2.0
39 stars 58 forks source link

bump nixpkgs #880

Open brianmcgillion opened 4 days ago

brianmcgillion commented 4 days ago

Description of changes

Checklist for things done

Instructions for Testing