diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-27 13:36:07 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-27 14:01:59 +0100 |
| commit | b07d8bee87e72a73db28f0c32703a79c99ffbedc (patch) | |
| tree | bc1e758ef1c73130c82fdecce0d12f63bef4b5dd /net-libs/libtrace/Manifest | |
| parent | sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction (diff) | |
| download | gentoo-b07d8bee87e72a73db28f0c32703a79c99ffbedc.tar.gz gentoo-b07d8bee87e72a73db28f0c32703a79c99ffbedc.tar.bz2 gentoo-b07d8bee87e72a73db28f0c32703a79c99ffbedc.zip | |
sci-mathematics/mathlib-tools: drop old 1.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-libs/libtrace/Manifest')
0 files changed, 0 insertions, 0 deletions