try use python3-dev for both ubuntu22 and ubuntu24

Author: harisont

.github/workflows/build-binary-packages.yml

@@ -43,16 +43,12 @@ jobs:
           debhelper \
           libghc-json-dev \
           default-jdk \
+          python3-dev \
           libtool-bin
     - run: |
           sudo apt-get install -y \
-          python-dev \
           haskell-platform
       if: ${{ matrix.os }} == "ubuntu-22.04"
-    - run: |
-          sudo apt-get install -y \
-          python3-dev 
-      if: ${{ matrix.os }} == "ubuntu-24.04"
     - name: Build package
       run: |
         make deb