diff options
author | davy | 2022-02-18 10:29:37 -0500 |
---|---|---|
committer | davy | 2022-02-18 10:29:37 -0500 |
commit | 8ab68bc317634d376c628a14afc6741819c6956d (patch) | |
tree | 8cb48d0c24c96cfbc45465e7775abdfebc94a4ac | |
parent | cabf9568a32b24e1a0d2520e33bcab80e8d3d021 (diff) | |
download | aur-8ab68bc317634d376c628a14afc6741819c6956d.tar.gz |
fixed gazebo source in .srcinfo
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -44,7 +44,7 @@ pkgbase = gazebo-git optdepends = urdfdom: Load URDF files provides = gazebo conflicts = gazebo - source = gazebo::git+https://github.com/osrf/gazebo + source = gazebo::https://github.com/osrf/gazebo source = patch::https://github.com/osrf/gazebo/pull/3174.patch sha256sums = SKIP 00f342f4f62926b93ad506017561e15f2ec64bcca6a12b1184be5fa4c50f971e |