diff options
Diffstat (limited to 'lang/maude/pkg-plist')
| -rw-r--r-- | lang/maude/pkg-plist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/maude/pkg-plist b/lang/maude/pkg-plist index da6bfef82282..0c485f54844f 100644 --- a/lang/maude/pkg-plist +++ b/lang/maude/pkg-plist @@ -1,9 +1,10 @@ bin/maude -%%FULL_MAUDE%%%%DATADIR%%/full-maude%%FULL_MAUDE_VER%%.maude +%%FULL_MAUDE%%%%DATADIR%%/full-maude.maude %%DATADIR%%/linear.maude %%DATADIR%%/machine-int.maude %%DATADIR%%/metaInterpreter.maude %%DATADIR%%/model-checker.maude %%DATADIR%%/prelude.maude +%%CVC4%%%%DATADIR%%/smt.maude %%DATADIR%%/socket.maude %%DATADIR%%/term-order.maude |