Permalink
Browse files

Use newly released versions of some dependencies

  • Loading branch information...
ykazakov committed Oct 13, 2017
1 parent f3ffd4e commit e9868b39a6a1984ac3a49273875a54c49ad8d516
Showing with 3 additions and 3 deletions.
  1. +3 −3 pom.xml
View
@@ -112,9 +112,9 @@
<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<owlapi.version>4.2.7</owlapi.version>
<puli.version>0.1.0-SNAPSHOT</puli.version>
<owlapi-proof.version>0.1.0-SNAPSHOT</owlapi-proof.version>
<protege-proof-explanation.version>0.1.0-SNAPSHOT</protege-proof-explanation.version>
<puli.version>0.1.0</puli.version>
<owlapi-proof.version>0.1.0</owlapi-proof.version>
<protege-proof-explanation.version>0.1.0</protege-proof-explanation.version>
<!-- try to keep the version low for backward compatibility -->
<protege.version>5.0.0</protege.version>
<java.required.version>6</java.required.version>

0 comments on commit e9868b3

Please sign in to comment.