diff --git a/.github/workflows/compilation.yml b/.github/workflows/compilation.yml
index 453e8c7..283ea49 100644
--- a/.github/workflows/compilation.yml
+++ b/.github/workflows/compilation.yml
@@ -20,7 +20,7 @@ jobs:
       if: matrix.os == 'ubuntu-latest'
       run: |
         sudo apt-get update
-        sudo apt-get -y install texinfo bison flex findutils ninja-build
+        sudo apt-get -y install texinfo bison flex findutils ninja-build libgmp3-dev libmpfr-dev
     
     - name: Install Mac dependencies
       if: matrix.os == 'macOS-latest'