diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-04-15 21:31:34 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-04-15 21:32:46 +0200 |
| commit | 0c5c8ab39246ad13897d73e004882d89e6838996 (patch) | |
| tree | a9d668e87c2d2097c9a59ef3ef7eb4a328a07b89 /header.txt | |
| parent | app-emulation/vkd3d: Sync with ::wine (diff) | |
| download | gentoo-0c5c8ab39246ad13897d73e004882d89e6838996.tar.gz gentoo-0c5c8ab39246ad13897d73e004882d89e6838996.tar.bz2 gentoo-0c5c8ab39246ad13897d73e004882d89e6838996.zip | |
sci-mathematics/alt-ergo: depend on cmdliner <1.1.0
https://opam.ocaml.org/packages/alt-ergo/
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'header.txt')
0 files changed, 0 insertions, 0 deletions