Try to fix issue with actions build fail

Author: JakeRoggenbuck

.github/workflows/verify.yml

@@ -15,7 +15,9 @@ jobs:
         persist-credentials: false
         submodules: 'true'
     - name: Install opam dependencies
-      run: sudo apt update -y && sudo apt install -y pkg-config git rsync tar unzip m4 time curl ocaml build-essential bubblewrap gawk libgmp-dev python2.7 python3 python3-distutils libmpfr-dev
+      run: |
+        sudo add-apt-repository ppa:deadsnakes/ppa
+        sudo apt update -y && sudo apt install -y pkg-config git rsync tar unzip m4 time curl ocaml build-essential bubblewrap gawk libgmp-dev python2.7 python3 libmpfr-dev
     - name: Install opam
       run: curl "https://github.com/ocaml/opam/releases/download/2.1.5/opam-2.1.5-x86_64-linux" -Lo /usr/local/bin/opam && chmod +x /usr/local/bin/opam
     - name: Setup opam