gnuboot/resources/dependencies
Denis 'GNUtoo' Carikli 85617168e5
dependencies: debian: remove lib32tinfo-dev.
In PureOS 10 (byzantium) there is no lib32tinfo-dev package anymore,
so running the debian dependency script fails with:
    Package not found: lib32tinfo-dev

    Command failed: This tool could not find any available package: No
    packages were found

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-12-09 15:43:46 +01:00
..
arch dependencies: fix installation when the package is already installed. 2023-12-09 15:43:07 +01:00
debian dependencies: debian: remove lib32tinfo-dev. 2023-12-09 15:43:46 +01:00
fedora35 dependencies: fix installation when the package is already installed. 2023-12-09 15:43:07 +01:00
guix dependencies: Add script to update Guix. 2023-12-06 17:32:51 +01:00
ubuntu2004 dependencies: fix installation when the package is already installed. 2023-12-09 15:43:07 +01:00
void dependencies: Add programs used in 'make check' 2023-12-06 17:32:21 +01:00