Added more Cardano Repos

This commit is contained in:
Curtis Spencer
2019-11-19 14:17:54 -08:00
parent e53199e11c
commit 46987ae7cf

View File

@@ -247,6 +247,9 @@ url = "https://github.com/input-output-hk/evm-semantics-docker"
[[repo]]
url = "https://github.com/input-output-hk/fenrir"
[[repo]]
url = "https://github.com/input-output-hk/fm-ledger-formalization"
[[repo]]
url = "https://github.com/input-output-hk/fm-ouroboros"
@@ -649,6 +652,9 @@ url = "https://github.com/input-output-hk/stack2nix"
[[repo]]
url = "https://github.com/input-output-hk/stackage.nix"
[[repo]]
url = "https://github.com/input-output-hk/stakepool-management-tools"
[[repo]]
url = "https://github.com/input-output-hk/stylish-haskell"