Added quickcheck-monoids-0.1.0.0

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