diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-17 01:52:16 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-17 02:22:11 +0100 |
| commit | 256bbdf201fa87180d36af5d6ada9ac36ca116fe (patch) | |
| tree | c42f55de6348dcd29464270b310de4dd2bdb0a33 /dev-dotnet | |
| parent | sci-mathematics/coq-serapi: bump to 0.16.3 (diff) | |
| download | gentoo-256bbdf201fa87180d36af5d6ada9ac36ca116fe.tar.gz gentoo-256bbdf201fa87180d36af5d6ada9ac36ca116fe.tar.bz2 gentoo-256bbdf201fa87180d36af5d6ada9ac36ca116fe.zip | |
sci-mathematics/coq-serapi: drop old 0.16.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-dotnet')
0 files changed, 0 insertions, 0 deletions