Fix initial github workflow

OCamlPro · Jan 13, 2024 · ca1b84e · ca1b84e
1 parent 4f5914f
commit ca1b84e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -29,7 +29,7 @@ jobs:
       - name: Install packages
         run: |
           sudo apt-get update
-          sudo apt-get install automake libtool libdb5.3-dev libxml2-dev libcjson-dev bison flex help2man gettext texlive texlive-latex-extra texlive-plain-generic
+          sudo apt-get install texlive texlive-latex-extra texlive-plain-generic
 
       - name: Set git user
         run: |