protege: 5.6.4 -> 5.6.8
This commit is contained in:
@@ -1,43 +1,41 @@
|
||||
diff --git a/pom.xml b/pom.xml
|
||||
index 839bed04..4cb5f392 100644
|
||||
--- a/pom.xml
|
||||
+++ b/pom.xml
|
||||
@@ -358,6 +358,30 @@
|
||||
@@ -347,6 +347,30 @@
|
||||
<release>11</release>
|
||||
</configuration>
|
||||
</plugin>
|
||||
+
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-install-plugin</artifactId>
|
||||
+ <version>3.1.1</version>
|
||||
+ </plugin>
|
||||
+
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-install-plugin</artifactId>
|
||||
+ <version>3.1.1</version>
|
||||
+ </plugin>
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-site-plugin</artifactId>
|
||||
+ <version>3.12.1</version>
|
||||
+ </plugin>
|
||||
+
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-site-plugin</artifactId>
|
||||
+ <version>3.12.1</version>
|
||||
+ </plugin>
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-deploy-plugin</artifactId>
|
||||
+ <version>3.1.1</version>
|
||||
+ </plugin>
|
||||
+
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-deploy-plugin</artifactId>
|
||||
+ <version>3.1.1</version>
|
||||
+ </plugin>
|
||||
+
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-jar-plugin</artifactId>
|
||||
+ <version>3.3.0</version>
|
||||
+ </plugin>
|
||||
|
||||
+ <plugin>
|
||||
+ <groupId>org.apache.maven.plugins</groupId>
|
||||
+ <artifactId>maven-jar-plugin</artifactId>
|
||||
+ <version>3.3.0</version>
|
||||
+ </plugin>
|
||||
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
@@ -476,6 +494,7 @@
|
||||
@@ -465,6 +489,7 @@
|
||||
<requireMavenVersion>
|
||||
<version>3.6.3</version>
|
||||
</requireMavenVersion>
|
||||
+ <requirePluginVersions/>
|
||||
+ <requirePluginVersions/>
|
||||
</rules>
|
||||
</configuration>
|
||||
</execution>
|
||||
|
||||
@@ -11,17 +11,17 @@
|
||||
|
||||
maven.buildMavenPackage rec {
|
||||
pname = "protege";
|
||||
version = "5.6.4";
|
||||
version = "5.6.8";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "protegeproject";
|
||||
repo = "protege";
|
||||
rev = version;
|
||||
hash = "sha256-Q3MHa7nCeF31n7JPltcemFBc/sJwGA9Ev0ymjQhY/U0=";
|
||||
hash = "sha256-GplMEVEBYSTTzrGzbHlbQTXqJYka6r0QfBZFVCS7wCs=";
|
||||
};
|
||||
|
||||
mvnJdk = jdk11;
|
||||
mvnHash = "sha256-kemP2gDv1CYuaoK0fwzBxdLTusarPasf2jCDQj/HPYE=";
|
||||
mvnHash = "sha256-xC/zLPPLbQ8tZIkCZHOfY6FEaWXFF5ZC1LX4ovaSSqg=";
|
||||
|
||||
patches = [
|
||||
# Pin built-in Maven plugins to avoid checksum variations on Maven updates
|
||||
|
||||
Reference in New Issue
Block a user