Gleb Popov c6c7d0dca1 games/hedgewars-server: Switch to GHC 8.10.7		2022-07-07 13:24:42 +03:00
..
distinfo
Makefile	games/hedgewars-server: Switch to GHC 8.10.7	2022-07-07 13:24:42 +03:00
pkg-descr