diff options
| author |   Craig Andrews <candrews@gentoo.org> | 2022-06-27 10:35:21 -0400 |
|---|---|---|
| committer | Craig Andrews <candrews@gentoo.org> | 2022-06-27 10:35:21 -0400 |
| commit | 82cc358834c8998b5ce250fa0b45d91ff3e8b64c (patch) | |
| tree | a7541b6d64804b44db5675b329614308fb59d8ec /sci-mathematics/lean | |
| parent | net-misc/mptcpd: delete .la libtool archives (diff) | |
| download | gentoo-82cc358834c8998b5ce250fa0b45d91ff3e8b64c.tar.gz gentoo-82cc358834c8998b5ce250fa0b45d91ff3e8b64c.tar.bz2 gentoo-82cc358834c8998b5ce250fa0b45d91ff3e8b64c.zip | |
net-misc/mptcpd: Cleanup old versions
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Craig Andrews <candrews@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean')
0 files changed, 0 insertions, 0 deletions