Commit 8b254def authored by Michael Hanus 's avatar Michael Hanus
Browse files

Curry domain updated

parent cf196b67
......@@ -106,7 +106,7 @@ $(CABAL_FILE): ../Makefile Makefile
echo "Description: The standard libraries for KiCS2" >> $@
echo "License: OtherLicense" >> $@
echo "Author: The KiCS2 Team" >> $@
echo "Maintainer: kics2@curry-language.org" >> $@
echo "Maintainer: kics2@curry-lang.org" >> $@
echo "Build-Type: Simple" >> $@
echo "Cabal-Version: >= 1.9.2" >> $@
echo "" >> $@
......@@ -127,7 +127,7 @@ $(CABAL_TRACE_FILE): ../Makefile Makefile
echo "Description: The tracing standard libraries for KiCS2" >> $@
echo "License: OtherLicense" >> $@
echo "Author: The KiCS2 Team" >> $@
echo "Maintainer: kics2@curry-language.org" >> $@
echo "Maintainer: kics2@curry-lang.org" >> $@
echo "Build-Type: Simple" >> $@
echo "Cabal-Version: >= 1.9.2" >> $@
echo "" >> $@
......
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