diff options
-rw-r--r-- | ci/docker/Dockerfile.ubuntu | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/docker/Dockerfile.ubuntu b/ci/docker/Dockerfile.ubuntu index a5301135..6626033d 100644 --- a/ci/docker/Dockerfile.ubuntu +++ b/ci/docker/Dockerfile.ubuntu @@ -17,7 +17,6 @@ RUN apt update \ automake \ bison \ build-essential \ - libasr-dev \ libevent-dev \ libssl-dev \ libtool \ |