Thierry Thomas e7aba4f094 games/naev: chase CHOLMOD 5.0.1 ... The previous patch is no more necessary (no need to bump PORTREVISION).		2023-11-05 16:40:38 +01:00
..
files	games/naev: chase CHOLMOD 5.0.1	2023-11-05 16:40:38 +01:00
distinfo
Makefile	games/naev: chase CHOLMOD’s upgrade	2023-10-31 15:04:27 +01:00
pkg-descr
pkg-plist