Merge pull request #52831 from r-ryantm/auto-update/omniorb

omniorb: 4.2.2 -> 4.2.3
This commit is contained in:
Renaud 2019-01-03 09:52:58 +01:00 committed by GitHub
commit 240d80c490
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,11 +3,11 @@ stdenv.mkDerivation rec {
name = "omniorb-${version}"; name = "omniorb-${version}";
version = "4.2.2"; version = "4.2.3";
src = fetchurl rec { src = fetchurl rec {
url = "mirror://sourceforge/project/omniorb/omniORB/omniORB-${version}/omniORB-${version}.tar.bz2"; url = "mirror://sourceforge/project/omniorb/omniORB/omniORB-${version}/omniORB-${version}.tar.bz2";
sha256 = "1klf6ivhsisdnqxcbf161jxva0xzmfgmwypnxfzf4jq16770knfx"; sha256 = "1jlb0wps6311dmhnphn64gv46z0bl8grch4fd9dcx5dlib02lh96";
}; };
buildInputs = [ python2 ]; buildInputs = [ python2 ];