Skip to content

Commit 28ea17d

Browse files
author
Dwight Guth
committed
[maven-release-plugin] prepare release v3.6
1 parent 59d6e65 commit 28ea17d

File tree

9 files changed

+14
-18
lines changed

9 files changed

+14
-18
lines changed

‎coq-backend/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<parent>
77
<groupId>org.kframework.k</groupId>
88
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1010
</parent>
1111
<artifactId>coq-backend</artifactId>
1212
<packaging>jar</packaging>

‎java-backend/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<parent>
77
<groupId>org.kframework.k</groupId>
88
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1010
</parent>
1111
<artifactId>java-backend</artifactId>
1212
<packaging>jar</packaging>

‎k-distribution/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<parent>
77
<groupId>org.kframework.k</groupId>
88
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1010
</parent>
1111
<artifactId>k-distribution</artifactId>
1212
<packaging>jar</packaging>

‎kernel/pom.xml‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
22
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
3-
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4-
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
3+
<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">
54

65
<modelVersion>4.0.0</modelVersion>
76
<parent>
87
<groupId>org.kframework.k</groupId>
98
<artifactId>parent</artifactId>
10-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1110
</parent>
1211
<artifactId>kernel</artifactId>
1312
<packaging>jar</packaging>
@@ -146,7 +145,7 @@
146145
<dependency>
147146
<groupId>org.kframework.dependencies</groupId>
148147
<artifactId>nailgun-server</artifactId>
149-
<version>0.9.2-k3.6-SNAPSHOT</version>
148+
<version>0.9.2-k3.6</version>
150149
</dependency>
151150
<dependency>
152151
<groupId>org.kframework.dependencies</groupId>

‎kore/pom.xml‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
22
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
3-
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4-
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
3+
<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">
54

65
<modelVersion>4.0.0</modelVersion>
76
<parent>
87
<groupId>org.kframework.k</groupId>
98
<artifactId>parent</artifactId>
10-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1110
<relativePath>../pom.xml</relativePath>
1211
</parent>
1312
<artifactId>kore</artifactId>

‎ocaml-backend/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<parent>
77
<groupId>org.kframework.k</groupId>
88
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1010
</parent>
1111
<artifactId>ocaml-backend</artifactId>
1212
<packaging>jar</packaging>

‎pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<groupId>org.kframework.k</groupId>
66
<artifactId>parent</artifactId>
77
<packaging>pom</packaging>
8-
<version>3.6-SNAPSHOT</version>
8+
<version>3.6</version>
99
<name>K Framework Tool Parent</name>
1010

1111
<modules>
@@ -21,7 +21,7 @@
2121

2222
<scm>
2323
<connection>scm:git:https://github.com/kframework/k.git</connection>
24-
<tag>HEAD</tag>
24+
<tag>v3.6</tag>
2525
</scm>
2626

2727
<repositories>

‎sdf-parser/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<parent>
77
<groupId>org.kframework.k</groupId>
88
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
9+
<version>3.6</version>
1010
</parent>
1111
<artifactId>sdf-parser</artifactId>
1212
<packaging>jar</packaging>

‎tiny/pom.xml‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<!-- Copyright (c) 2014-2015 K Team. All Rights Reserved. -->
3-
<project xmlns="http://maven.apache.org/POM/4.0.0"
4-
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
5-
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
3+
<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">
64
<parent>
75
<groupId>org.kframework.k</groupId>
86
<artifactId>parent</artifactId>
9-
<version>3.6-SNAPSHOT</version>
7+
<version>3.6</version>
108
<relativePath>../pom.xml</relativePath>
119
</parent>
1210
<modelVersion>4.0.0</modelVersion>

0 commit comments

Comments
 (0)