diff --git a/dune-project b/dune-project index e87b570..05bd945 100644 --- a/dune-project +++ b/dune-project @@ -1,5 +1,6 @@ (lang dune 3.19) (using mdx 0.4) +(name glob) (source (uri "git+https://git.sirref.org/glob.git"))