Tags

Merge branch 'release-4.8.2'. Close #792.

**Description**

Version 4.8.2 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on hackage.

The solution proposed addresses the necessary modification to cabal
packages. The following docker image installs all Copilot libraries
enforcing the new version via compiler constraints. Packages not
currently listed under the `cabal.project` file are also included. It
prints the message "Success" at the end if all completes correctly, and
shows an error message otherwise.

```
--- Dockerfile-verify-792
FROM ubuntu:jammy

WORKDIR /root
SHELL ["/bin/bash", "-c"]

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config \
      z3

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

RUN ghcup install ghc 9.8.4
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4
RUN cabal update

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project
RUN echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project
RUN cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.8.2" \
         --constraint="copilot-bluespec==4.8.2" \
         --constraint="copilot-c99==4.8.2" \
         --constraint="copilot-core==4.8.2" \
         --constraint="copilot-prettyprinter==4.8.2" \
         --constraint="copilot-interpreter==4.8.2" \
         --constraint="copilot-language==4.8.2" \
         --constraint="copilot-libraries==4.8.2" \
         --constraint="copilot-theorem==4.8.2" \
         --constraint="copilot-verifier==4.8.2" \
         --constraint="copilot-visualizer==4.8.2" \
         copilot**/
RUN echo "Success"
```

Command (substitute variables based on new path after merge):

```
$ docker build --build-arg "GIT_COMMIT=<HASH>" -t copilot-verify-792 -f Dockerfile-verify-792 .
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on hackage.

**Further notes**

None.

Merge branch 'release-4.8.1'. Close #760.

**Description**

Version 4.8.1 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

The solution proposed addresses the necessary modification to cabal
packages. The following docker image installs all Copilot libraries
enforcing the new version via compiler constraints. Packages not
currently listed under the `cabal.project` file are also included. It
prints the message "Success" at the end if all completes correctly, and
shows an error message otherwise.

```
--- Dockerfile-verify-760
FROM ubuntu:jammy

WORKDIR /root
SHELL ["/bin/bash", "-c"]

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config \
      z3

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

RUN ghcup install ghc 9.8.4
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4
RUN cabal update

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN echo a
RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project
RUN echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project
RUN cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.8.1" \
         --constraint="copilot-bluespec==4.8.1" \
         --constraint="copilot-c99==4.8.1" \
         --constraint="copilot-core==4.8.1" \
         --constraint="copilot-prettyprinter==4.8.1" \
         --constraint="copilot-interpreter==4.8.1" \
         --constraint="copilot-language==4.8.1" \
         --constraint="copilot-libraries==4.8.1" \
         --constraint="copilot-theorem==4.8.1" \
         --constraint="copilot-verifier==4.8.1" \
         --constraint="copilot-visualizer==4.8.1" \
         copilot**/
RUN echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker build --build-arg "GIT_COMMIT=<HASH>" -t copilot-verify-760 -f Dockerfile-verify-760 .
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.8'. Close #745.

**Description**

Version 4.8 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on hackage.

The following docker image installs all Copilot libraries enforcing the
new version via compiler constraints. Packages not currently listed
under the cabal.project file are also included. It prints the message
"Success" at the end if all completes correctly, and shows an error
message otherwise.

```Dockerfile
FROM ubuntu:noble

ENV DEBIAN_FRONTEND=noninteractive

SHELL ["/bin/bash", "-c"]

RUN apt-get update

RUN apt-get install --yes \
  build-essential \
  curl \
  git \
  libffi-dev \
  libgmp3-dev \
  libncurses-dev \
  libz-dev \
  pkg-config \
  wget

RUN mkdir -p $HOME/.ghcup/bin
RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh

ENV PATH=$PATH:/root/.ghcup/bin/
RUN ghcup install ghc 9.8
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4

RUN cabal update
ENV PATH=$PATH:/root/.cabal/bin/

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.8" \
         --constraint="copilot-bluespec==4.8" \
         --constraint="copilot-c99==4.8" \
         --constraint="copilot-core==4.8" \
         --constraint="copilot-prettyprinter==4.8" \
         --constraint="copilot-interpreter==4.8" \
         --constraint="copilot-language==4.8" \
         --constraint="copilot-libraries==4.8" \
         --constraint="copilot-theorem==4.8" \
         --constraint="copilot-verifier==4.8" \
         --constraint="copilot-visualizer==4.8" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-745
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.7.1'. Close #730.

**Description**

Version 4.7.1 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

The following docker image installs all Copilot libraries enforcing the
new version via compiler constraints. Packages not currently listed
under the cabal.project file are also included. It prints the message
"Success" at the end if all completes correctly, and shows an error
message otherwise.

```
FROM ubuntu:noble

ENV DEBIAN_FRONTEND=noninteractive

SHELL ["/bin/bash", "-c"]

RUN apt-get update

RUN apt-get install --yes \
  build-essential \
  curl \
  git \
  libffi-dev \
  libgmp3-dev \
  libncurses-dev \
  libz-dev \
  pkg-config \
  wget

RUN mkdir -p $HOME/.ghcup/bin
RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh

ENV PATH=$PATH:/root/.ghcup/bin/
RUN ghcup install ghc 9.8
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4

RUN cabal update
ENV PATH=$PATH:/root/.cabal/bin/

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.7.1" \
         --constraint="copilot-bluespec==4.7.1" \
         --constraint="copilot-c99==4.7.1" \
         --constraint="copilot-core==4.7.1" \
         --constraint="copilot-prettyprinter==4.7.1" \
         --constraint="copilot-interpreter==4.7.1" \
         --constraint="copilot-language==4.7.1" \
         --constraint="copilot-libraries==4.7.1" \
         --constraint="copilot-theorem==4.7.1" \
         --constraint="copilot-verifier==4.7.1" \
         --constraint="copilot-visualizer==4.7.1" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-730
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.7'. Close #714.

**Description**

Version 4.7 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

The solution proposed addresses the necessary modification to cabal
packages. The following docker image installs all Copilot libraries
enforcing the new version via compiler constraints. Packages not
currently listed under the cabal.project file are also included. It
prints the message "Success" at the end if all completes correctly, and
shows an error message otherwise.

```
FROM ubuntu:noble

ENV DEBIAN_FRONTEND=noninteractive

SHELL ["/bin/bash", "-c"]

RUN apt-get update

RUN apt-get install --yes \
  build-essential \
  curl \
  git \
  libffi-dev \
  libgmp3-dev \
  libncurses-dev \
  libz-dev \
  pkg-config \
  wget

RUN mkdir -p $HOME/.ghcup/bin
RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh

ENV PATH=$PATH:/root/.ghcup/bin/
RUN ghcup install ghc 9.8
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4

RUN cabal update
ENV PATH=$PATH:/root/.cabal/bin/

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.7" \
         --constraint="copilot-bluespec==4.7" \
         --constraint="copilot-c99==4.7" \
         --constraint="copilot-core==4.7" \
         --constraint="copilot-prettyprinter==4.7" \
         --constraint="copilot-interpreter==4.7" \
         --constraint="copilot-language==4.7" \
         --constraint="copilot-libraries==4.7" \
         --constraint="copilot-theorem==4.7" \
         --constraint="copilot-verifier==4.7" \
         --constraint="copilot-visualizer==4.7" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-714
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.6.1'. Close #705.

**Description**

Version 4.6.1 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

The following docker image installs copilot enforcing the new version
via compiler constraints. Packages not currently listed under the
cabal.project file are also included, and some incompatibilities not
captured in the cabal files are captured via compiler constraints. It
prints the message "Success" at the end if all completes correctly, and
shows an error message otherwise.

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.50.2/x86_64-linux-ghcup-0.1.50.2 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.6
RUN ghcup install cabal 3.14
RUN ghcup set ghc 9.6.7
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="aeson<2.2" \
         --constraint="crucible-syntax<0.5.0.0" \
         --constraint="crucible-debug<0.1.2.0" \
         --constraint="copilot==4.6.1" \
         --constraint="copilot-bluespec==4.6.1" \
         --constraint="copilot-c99==4.6.1" \
         --constraint="copilot-core==4.6.1" \
         --constraint="copilot-prettyprinter==4.6.1" \
         --constraint="copilot-interpreter==4.6.1" \
         --constraint="copilot-language==4.6.1" \
         --constraint="copilot-libraries==4.6.1" \
         --constraint="copilot-theorem==4.6.1" \
         --constraint="copilot-verifier==4.6.1" \
         --constraint="copilot-visualizer==4.6.1" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-705
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.6'. Close #679.

**Description**

Version 4.6 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

- The solution proposed addresses the necessary modification to cabal
  packages. The following docker image installs copilot enforcing the
new version via compiler constraints. Packages not currently listed
under the cabal.project file are also included. It prints the message
"Success" at the end if all completes correctly, and shows an error
message otherwise:

```
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.50.2/x86_64-linux-ghcup-0.1.50.2 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.6
RUN ghcup install cabal 3.14
RUN ghcup set ghc 9.6.7
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="aeson<2.2" \
         --constraint="copilot==4.6" \
         --constraint="copilot-bluespec==4.6" \
         --constraint="copilot-c99==4.6" \
         --constraint="copilot-core==4.6" \
         --constraint="copilot-prettyprinter==4.6" \
         --constraint="copilot-interpreter==4.6" \
         --constraint="copilot-language==4.6" \
         --constraint="copilot-libraries==4.6" \
         --constraint="copilot-theorem==4.6" \
         --constraint="copilot-verifier==4.6" \
         --constraint="copilot-visualizer==4.6" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-679
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.5.1'. Close #666.

**Description**

Version 4.5.1 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

 - The solution proposed addresses the necessary modification to cabal
   packages. The following docker image installs copilot enforcing the
new version via compiler constraints. Packages not currently listed
under the cabal.project file are also included. It prints the message
"Success" at the end if all completes correctly, and shows an error
message otherwise:

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.50.2/x86_64-linux-ghcup-0.1.50.2 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.6
RUN ghcup install cabal 3.14
RUN ghcup set ghc 9.6.7
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="aeson<2.2" \
         --constraint="copilot==4.5.1" \
         --constraint="copilot-bluespec==4.5.1" \
         --constraint="copilot-c99==4.5.1" \
         --constraint="copilot-core==4.5.1" \
         --constraint="copilot-prettyprinter==4.5.1" \
         --constraint="copilot-interpreter==4.5.1" \
         --constraint="copilot-language==4.5.1" \
         --constraint="copilot-libraries==4.5.1" \
         --constraint="copilot-theorem==4.5.1" \
         --constraint="copilot-verifier==4.5.1" \
         --constraint="copilot-visualizer==4.5.1" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-666
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Merge branch 'release-4.5'. Close #642.

**Description**

Version 4.5 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as needed,
  commit is tagged with version number, and packages are published on hackage.

- The solution proposed addresses the necessary modification to cabal packages.
  The following docker image installs copilot enforcing the new version via
compiler constraints. Packages not currently listed under the cabal.project
file are also included. It prints the message "Success" at the end if all
completes correctly, and shows an error message otherwise:

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.50.2/x86_64-linux-ghcup-0.1.50.2 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.6
RUN ghcup install cabal 3.14
RUN ghcup set ghc 9.6.7
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="aeson<2.2" \
         --constraint="copilot==4.5" \
         --constraint="copilot-bluespec==4.5" \
         --constraint="copilot-c99==4.5" \
         --constraint="copilot-core==4.5" \
         --constraint="copilot-prettyprinter==4.5" \
         --constraint="copilot-interpreter==4.5" \
         --constraint="copilot-language==4.5" \
         --constraint="copilot-libraries==4.5" \
         --constraint="copilot-theorem==4.5" \
         --constraint="copilot-verifier==4.5" \
         --constraint="copilot-visualizer==4.5" \
         copilot**/ \
    && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-642
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as needed,
  commit is tagged with version number, and packages are published on hackage.

**Further notes**

None.

Merge branch 'release-4.4'. Close #618.

**Description**

Version 4.4 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as needed,
  commit is tagged with version number, and packages are published on hackage.

- The following docker image installs copilot enforcing the new version via
  compiler constraints. It prints the message "Success" at the end if all
  completes correctly, and shows an error message otherwise.

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.10.1
RUN ghcup install cabal 3.14
RUN ghcup set ghc 9.10.1
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.4" \
         --constraint="copilot-c99==4.4" \
         --constraint="copilot-core==4.4" \
         --constraint="copilot-prettyprinter==4.4" \
         --constraint="copilot-interpreter==4.4" \
         --constraint="copilot-language==4.4" \
         --constraint="copilot-libraries==4.4" \
         --constraint="copilot-theorem==4.4" \
         copilot**/ \
    && echo Success
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-618
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as needed,
  commit is tagged with version number, and packages are published on hackage.

**Further notes**

None.