From 46987ae7cf41e399fd5ed7459bbcb3ef8758e1ae Mon Sep 17 00:00:00 2001
From: Curtis Spencer <41347+jubos@users.noreply.github.com>
Date: Tue, 19 Nov 2019 14:17:54 -0800
Subject: [PATCH] Added more Cardano Repos

---
 data/ecosystems/c/cardano.toml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/data/ecosystems/c/cardano.toml b/data/ecosystems/c/cardano.toml
index 5ec34e84..ec49d9fb 100644
--- a/data/ecosystems/c/cardano.toml
+++ b/data/ecosystems/c/cardano.toml
@@ -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"