cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3af4ac5d1b
freebsd-ports/lang/maude
History
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
pkg-descr
pkg-plist