3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #238107 from wentasah/fastddsgen-2.5.0

fastddsgen: 2.4.0 -> 2.5.0
This commit is contained in:
Pol Dellaiera 2023-06-17 16:20:11 +02:00 committed by GitHub
commit f15845c151
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,14 @@
{ lib, stdenv, runtimeShell, writeText, fetchFromGitHub, gradle_7, openjdk17, git, perl, cmake }:
let
pname = "fastddsgen";
version = "2.4.0";
version = "2.5.0";
src = fetchFromGitHub {
owner = "eProsima";
repo = "Fast-DDS-Gen";
rev = "v${version}";
fetchSubmodules = true;
hash = "sha256-CSlimEShTxjr6II9YSuNFc/pdbMmqVMCQA0ZJ9rl5j8=";
hash = "sha256-tnSZ0jyR6iPjyA3vpdZXOza/QI2ro92BOtjKp/NDriM=";
};
gradle = gradle_7;