Another rollback of functionality.

AI-Planning · Jun 21, 2022 · b1ea9d9 · b1ea9d9
1 parent fe70ed2
commit b1ea9d9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -47,9 +47,6 @@ RUN apt-get update \
         unzip \
         vim \
         wget \
-        build-essential \
-        gcc-x86-64-linux-gnu \
-        python3-dev \
     && rm -rf /var/lib/apt/lists/*
 
 RUN pip3 install --upgrade pip

diff --git a/setup.py b/setup.py
@@ -8,7 +8,7 @@
     long_description = fh.read()
 
 setuptools.setup(name='planutils',
-      version='0.7.3',
+      version='0.7.4',
       description='General library for setting up linux-based environments for developing, running, and evaluating planners.',
       long_description=long_description,
       long_description_content_type="text/markdown",