Added ouroboros-network-api-0.7.2.0

From https://github.com/intersectmbo/ouroboros-network at c5314093f33c01f910be59b24f092be8ceeff9b1
IntersectMBO · May 7, 2024 · 7cea9d8 · 7cea9d8
1 parent b17d179
commit 7cea9d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/ouroboros-network-api/0.7.2.0/meta.toml b/_sources/ouroboros-network-api/0.7.2.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-05-07T20:34:00Z
+github = { repo = "intersectmbo/ouroboros-network", rev = "c5314093f33c01f910be59b24f092be8ceeff9b1" }
+subdir = 'ouroboros-network-api'