Page MenuHomeSoftware Heritage
Paste P683

(An Untitled Masterwork)
ActivePublic

Authored by seirl on May 28 2020, 4:12 PM.
diff --git java/pom.xml java/pom.xml
index 9f1e4fd..707fa73 100644
--- java/pom.xml
+++ java/pom.xml
@@ -52,7 +52,10 @@
<dependency>
<groupId>it.unimi.dsi</groupId>
<artifactId>webgraph-big</artifactId>
- <version>3.5.1</version>
+ <version>3.5.2</version>
+ <type>jar</type>
+ <scope>system</scope>
+ <systemPath>/home/antoine/swh/swh-environment/swh-graph/java/webgraph/webgraph-big-3.5.2.jar</systemPath>
</dependency>
<dependency>
<groupId>it.unimi.dsi</groupId>