aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: treeclean stale/unmaintained packagesJulien Roy2024-03-253-82/+0
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-041-1/+1
* dev-ml/*: improve metadataAlessandro Barbieri2022-04-261-10/+20
* dev-ml/mirage-vnetif: add missing test dependencyAlessandro Barbieri2022-04-161-14/+15
* dev-ml/*: change dune invocationAlessandro Barbieri2022-04-151-1/+1
* dev-ml/mirage-vnetif: initial importAlessandro Barbieri2022-04-153-0/+71