diff --git a/etc/docker/ubuntu-with-libgmp/Dockerfile b/etc/docker/ubuntu-with-libgmp/Dockerfile
deleted file mode 100644
index 62d4539402..0000000000
--- a/etc/docker/ubuntu-with-libgmp/Dockerfile
+++ /dev/null
@@ -1,15 +0,0 @@
-#-*- mode:conf; -*-
-
-FROM ubuntu:14.04
-MAINTAINER Tim Dysinger <tim@fpcomplete.com>
-
-ENV DEBIAN_FRONTEND noninteractive
-# RUN apt-get update \
-#  && apt-get install -y net-tools
-# RUN echo "Acquire::http { Proxy \"http://$(netstat -nr|grep '^0\.0\.0\.0'|awk '{print $2}'):3142\"; };" \
-#   | tee /etc/apt/apt.conf.d/02proxy
-RUN apt-get update \
- && apt-get install -y netbase ca-certificates libgmp10 \
- && apt-get clean
-RUN update-ca-certificates
-# RUN rm /etc/apt/apt.conf.d/02proxy
diff --git a/stack.yaml b/stack.yaml
index a84acb278f..ef702c82c8 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,9 +1,4 @@
 resolver: lts-5.3
-image:
-  containers:
-    - base: "fpco/ubuntu-with-libgmp:14.04"
-      entrypoints:
-        - stack
 nix:
   # --nix on the command-line to enable.
   enable: false