Commit 7b9dce76 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry-packages/cpm-index

parents b967d13f 6e79afed
......@@ -15,6 +15,7 @@
"kics2": ">= 2.0.0"
},
"exportedModules": [ "Language.SMTLIB",
"Language.SMTLIB.Files",
"Language.SMTLIB.Goodies",
"Language.SMTLIB.Parser",
"Language.SMTLIB.Pretty",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment