Yuri Victorovich 410c0280b7 lang/maude: CVC4 is broken because project doesn't yet support CVC5		2023-01-04 03:50:53 -08:00
..
files
distinfo
Makefile	lang/maude: CVC4 is broken because project doesn't yet support CVC5	2023-01-04 03:50:53 -08:00
pkg-descr	Remove WWW entries moved into port Makefiles	2022-09-07 23:58:51 +02:00
pkg-plist