diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-04-02 14:48:09 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-04-02 14:48:09 +0200 |
| commit | dd5f5eb5b4c7b6262816c4fcc5edee33abfd9261 (patch) | |
| tree | db33f2387df866223d22cc34775ebf5e60906906 /sci-mathematics/psmt2-frontend | |
| parent | dev-python/crispy-bootstrap3: fix test deps (diff) | |
| download | gentoo-dd5f5eb5b4c7b6262816c4fcc5edee33abfd9261.tar.gz gentoo-dd5f5eb5b4c7b6262816c4fcc5edee33abfd9261.tar.bz2 gentoo-dd5f5eb5b4c7b6262816c4fcc5edee33abfd9261.zip | |
sci-mathematics/why3-for-spark: drop 2019-r3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
0 files changed, 0 insertions, 0 deletions