Include additional package name

GiacomoPope · GiacomoPope · commit e5ab6f44dd11 · 2023-09-07T12:24:45.000+01:00
diff --git a/setup.py b/setup.py
@@ -68,6 +68,7 @@
     'flint.flintlib',
     'flint.flint_base',
     'flint.types',
+    'flint.functions',
     'flint.utils',
     'flint.test',
 ]
