Update system requirements

This commit is contained in:
Julian Ospald 2023-10-21 19:28:50 +08:00
parent dd4f6ff001
commit 4917c671bf
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43
2 changed files with 32 additions and 8 deletions

View File

@ -7,24 +7,36 @@ toolRequirements:
GHC: GHC:
unknown_version: unknown_version:
Linux_Debian: Linux_Debian:
unknown_versioning: "( >= 11 && <= 12 )":
distroPKGs: distroPKGs:
- build-essential - build-essential
- curl - curl
- libffi-dev - libffi-dev
- libffi6 - libffi7
- libgmp-dev - libgmp-dev
- libgmp10 - libgmp10
- libncurses-dev - libncurses-dev
- libncurses5 - libncurses5
- libtinfo5 - libtinfo5
notes: '' notes: ''
">= 11": ">= 12":
distroPKGs: distroPKGs:
- build-essential - build-essential
- curl - curl
- libffi-dev - libffi-dev
- libffi7 - libffi8
- libgmp-dev
- libgmp10
- libncurses-dev
- libncurses5
- libtinfo5
notes: ''
unknown_versioning:
distroPKGs:
- build-essential
- curl
- libffi-dev
- libffi6
- libgmp-dev - libgmp-dev
- libgmp10 - libgmp10
- libncurses-dev - libncurses-dev

View File

@ -7,24 +7,36 @@ toolRequirements:
GHC: GHC:
unknown_version: unknown_version:
Linux_Debian: Linux_Debian:
unknown_versioning: "( >= 11 && <= 12 )":
distroPKGs: distroPKGs:
- build-essential - build-essential
- curl - curl
- libffi-dev - libffi-dev
- libffi6 - libffi7
- libgmp-dev - libgmp-dev
- libgmp10 - libgmp10
- libncurses-dev - libncurses-dev
- libncurses5 - libncurses5
- libtinfo5 - libtinfo5
notes: '' notes: ''
">= 11": ">= 12":
distroPKGs: distroPKGs:
- build-essential - build-essential
- curl - curl
- libffi-dev - libffi-dev
- libffi7 - libffi8
- libgmp-dev
- libgmp10
- libncurses-dev
- libncurses5
- libtinfo5
notes: ''
unknown_versioning:
distroPKGs:
- build-essential
- curl
- libffi-dev
- libffi6
- libgmp-dev - libgmp-dev
- libgmp10 - libgmp10
- libncurses-dev - libncurses-dev