search

input-output-hk / decentralized-software-updates

Research on a decentralized software update mechanism for blockchain systems
Apache License 2.0
7 stars 2 forks source link

Update the nix files of the design spec. #164

Closed dnadales closed 3 years ago

dnadales commented 3 years ago

This was adapted from cardano-ledger-specs.