diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-07-19 12:47:35 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-19 13:02:26 +0200 |
| commit | b7c4d541b898e82df8c5e06d938103f442d5c89e (patch) | |
| tree | 46cad372b38a9dce9604d6573f6e72b2491acc30 /dev-python/GitPython | |
| parent | 10d9b8bbb8de8b146ef3e2ddf83b93666c1a591d (diff) | |
| download | gentoo-b7c4d541b898e82df8c5e06d938103f442d5c89e.tar.gz gentoo-b7c4d541b898e82df8c5e06d938103f442d5c89e.tar.bz2 gentoo-b7c4d541b898e82df8c5e06d938103f442d5c89e.zip | |
dev-lang/boogie: bump to 3.2.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/GitPython')
0 files changed, 0 insertions, 0 deletions
