ivy.xml javasmt refactored to java-smt
xmlns:e="http://ant.apache.org/ivy/extra"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespaceSchemaLocation="http://ant.apache.org/ivy/schemas/ivy.xsd">
- <info organisation="org.sosy_lab" module="javasmt">
+ <info organisation="org.sosy_lab" module="java-smt">
<license name="The Apache Software License, Version 2.0" url="http://www.apache.org/licenses/LICENSE-2.0.txt"/>
<description homepage="https://github.com/sosy-lab/java-smt">
