aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-041-1/+1
* dev-ml/*: improve metadataAlessandro Barbieri2022-04-261-4/+12
* dev-ml/uri: update HOMEPAGEAlessandro Barbieri2022-04-162-10/+107
* dev-ml/*: change dune invocationAlessandro Barbieri2022-04-151-1/+1
* dev-ml/uri: tests and useflagsAlessandro Barbieri2022-04-152-8/+35
* dev-ml/uri: initial importAlessandro Barbieri2022-04-043-0/+44