Update debian Docker tag to v13

base-sha.Dockerfile

@@ -3,7 +3,7 @@
 # separating this into a separate file so we can get better caching
 # there is a lot of redundancy between this and base.Dockerfile, but I don't think it's worth it to try to abstract it out
 
-FROM debian:bullseye as scheme-builder
+FROM debian:trixie as scheme-builder
 
 WORKDIR /root
 
@@ -22,12 +22,12 @@
 # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run
 RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib
 
-FROM debian:bullseye as idris-builder
+FROM debian:trixie as idris-builder
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl
 
 ENV DEBIAN_FRONTEND noninteractive
 # SHA of the latest commit on the idris-lang/idris2 repo
 ARG IDRIS_SHA
 
@@ -44,7 +44,7 @@
 # add idris2 to path
 ENV PATH="/root/.idris2/bin:${PATH}"
 # add idris lib to LD_LIBRARY_PATH
 ENV LD_LIBRARY_PATH="/root/.idris2/lib:${LD_LIBRARY_PATH}"
 
 # self-hosting (needed for Idris2 API)
 # in my experience, the Idris2 API seems to still work without the self-hosting step

base.Dockerfile

@@ -1,7 +1,7 @@
 # Expects IDRIS_VERSION to NOT be `latest`
 # uBut a tag of the form `v0.7.0`
 
-FROM debian:bullseye as scheme-builder
+FROM debian:trixie as scheme-builder
 
 WORKDIR /root
 
@@ -20,12 +20,12 @@
 # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run
 RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib
 
-FROM debian:bullseye as idris-builder
+FROM debian:trixie as idris-builder
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl
 
 ENV DEBIAN_FRONTEND noninteractive
 ARG IDRIS_VERSION
 
 COPY --from=scheme-builder /usr/bin/scheme /usr/bin/scheme
@@ -41,7 +41,7 @@
 # add idris2 to path
 ENV PATH="/root/.idris2/bin:${PATH}"
 # add idris lib to LD_LIBRARY_PATH
 ENV LD_LIBRARY_PATH="/root/.idris2/lib:${LD_LIBRARY_PATH}"
 
 # self-hosting (needed for Idris2 API)
 # in my experience, the Idris2 API seems to still work without the self-hosting step

debian.Dockerfile

@@ -1,9 +1,9 @@
 ARG IDRIS_VERSION=latest
 ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION}
 
 FROM $BASE_IMG as base
 
-FROM debian:bullseye
+FROM debian:trixie
 
 # add idris2 and scheme from builder
 COPY --from=base /root/.idris2 /root/.idris2

devcontainer-sha.Dockerfile

@@ -19,7 +19,7 @@ RUN make install PREFIX=/usr/local/lib/idris2
 
 # =====
 # LSP Builder
-FROM debian:bullseye as lsp-builder 
+FROM debian:trixie as lsp-builder 
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl

devcontainer.Dockerfile

@@ -17,7 +17,7 @@ RUN make install PREFIX=/usr/local/lib/idris2
 
 # =====
 # LSP Builder
-FROM debian:bullseye as lsp-builder 
+FROM debian:trixie as lsp-builder 
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl