File tree Expand file tree Collapse file tree 5 files changed +8
-9
lines changed Expand file tree Collapse file tree 5 files changed +8
-9
lines changed Original file line number Diff line number Diff line change 33 <parent >
44 <groupId >io.github.mmhelloworld</groupId >
55 <artifactId >idris-jvm</artifactId >
6- <version >0.6.1-SNAPSHOT </version >
6+ <version >0.6.0.7 </version >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
99
Original file line number Diff line number Diff line change 33 <parent >
44 <groupId >io.github.mmhelloworld</groupId >
55 <artifactId >idris-jvm</artifactId >
6- <version >0.6.1-SNAPSHOT </version >
6+ <version >0.6.0.7 </version >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
99
@@ -234,7 +234,7 @@ JVM compiler copies runtime JAR into output directory. New compiler would copy t
234234so when we have the newer bootstrap compiler, this can be removed.
235235 -->
236236 <delete failonerror =" false" >
237- <fileset dir =" ${project.parent.basedir}/build/exec/idris2_app" includes =" idris-jvm-runtime-*.jar" />
237+ <fileset dir =" ${project.parent.basedir}/build/exec/idris2_app" includes =" idris-jvm-runtime-*.jar" />
238238 </delete >
239239 </target >
240240 </configuration >
Original file line number Diff line number Diff line change 33 <parent >
44 <groupId >io.github.mmhelloworld</groupId >
55 <artifactId >idris-jvm</artifactId >
6- <version >0.6.1-SNAPSHOT </version >
6+ <version >0.6.0.7 </version >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
99
Original file line number Diff line number Diff line change 33 <parent >
44 <groupId >io.github.mmhelloworld</groupId >
55 <artifactId >idris-jvm</artifactId >
6- <version >0.6.1-SNAPSHOT </version >
6+ <version >0.6.0.7 </version >
77 </parent >
88 <modelVersion >4.0.0</modelVersion >
99
Original file line number Diff line number Diff line change 11<?xml version =" 1.0" encoding =" UTF-8" ?>
2- <project xmlns =" http://maven.apache.org/POM/4.0.0" xmlns : xsi =" http://www.w3.org/2001/XMLSchema-instance"
3- xsi : schemaLocation =" http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" >
2+ <project xmlns =" http://maven.apache.org/POM/4.0.0" xmlns : xsi =" http://www.w3.org/2001/XMLSchema-instance" xsi : schemaLocation =" http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" >
43 <modelVersion >4.0.0</modelVersion >
54
65 <groupId >io.github.mmhelloworld</groupId >
76 <artifactId >idris-jvm</artifactId >
8- <version >0.6.1-SNAPSHOT </version >
7+ <version >0.6.0.7 </version >
98 <packaging >pom</packaging >
109 <name >Idris JVM</name >
1110 <description >JVM bytecode backend for Idris</description >
6665 <developerConnection >
6766 scm:git:https://github.com/mmhelloworld/idris-jvm.git
6867 </developerConnection >
69- <tag >HEAD </tag >
68+ <tag >v0.6.0.7 </tag >
7069 </scm >
7170
7271 <issueManagement >
You can’t perform that action at this time.
0 commit comments