diff --git a/3.12.1/Dockerfile b/3.12.1/Dockerfile deleted file mode 100644 index b688a5d..0000000 --- a/3.12.1/Dockerfile +++ /dev/null @@ -1,17 +0,0 @@ -FROM debian:wheezy - -MAINTAINER Jo Shields - -#based on dockerfile by Michael Friis - -RUN apt-get update \ - && apt-get install -y curl \ - && rm -rf /var/lib/apt/lists/* - -RUN apt-key adv --keyserver pgp.mit.edu --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF - -RUN echo "deb http://download.mono-project.com/repo/debian wheezy/snapshots/3.12.0 main" > /etc/apt/sources.list.d/mono-xamarin.list \ - && echo "deb http://download.mono-project.com/repo/debian 312-security main" >> /etc/apt/sources.list.d/mono-xamarin.list \ - && apt-get update \ - && apt-get install -y mono-devel ca-certificates-mono fsharp mono-vbnc nuget \ - && rm -rf /var/lib/apt/lists/* diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh index 50f495d..0d7bf85 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -12,9 +12,6 @@ aliases=( '4.8.0 -> 4.8.0.524' '4.8 -> 4.8.0.524' '4 -> 4.8.0.524' - '3.12.0 -> 3.12.1' - '3.12 -> 3.12.1' - '3 -> 3.12.1' 'latest -> 5.2.0.215' )