diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-30 21:43:08 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-30 21:43:08 +0100 |
| commit | 3fd5826a295fbf952d4cc6eb4ed7b8c81fcfe0fa (patch) | |
| tree | f0b42a3e5777aff9f3273bdf072849842758f2dd /dev-ml/ordering | |
| parent | dev-ml/facile: add 1.1.4 (diff) | |
| download | gentoo-3fd5826a295fbf952d4cc6eb4ed7b8c81fcfe0fa.tar.gz gentoo-3fd5826a295fbf952d4cc6eb4ed7b8c81fcfe0fa.tar.bz2 gentoo-3fd5826a295fbf952d4cc6eb4ed7b8c81fcfe0fa.zip | |
dev-ml/dune: add 3.6.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ordering')
0 files changed, 0 insertions, 0 deletions