diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-11-19 21:03:01 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-11-19 21:03:14 +0100 |
| commit | 9ed530debc4355d1141b61c2a8fabff35efc55c1 (patch) | |
| tree | c09944f2c8333cf10a7c6c84541de7e6474f049c /x11-drivers | |
| parent | dev-ml/coq-menhirlib: drop old 20231231-r1 (diff) | |
| download | gentoo-9ed530debc4355d1141b61c2a8fabff35efc55c1.tar.gz gentoo-9ed530debc4355d1141b61c2a8fabff35efc55c1.tar.bz2 gentoo-9ed530debc4355d1141b61c2a8fabff35efc55c1.zip | |
sci-mathematics/why3: add 1.7.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'x11-drivers')
0 files changed, 0 insertions, 0 deletions