aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-041-1/+1
* dev-ml/*: improve metadataAlessandro Barbieri2022-04-261-10/+22
* dev-ml/xen-gnt: add 4.0.0Alessandro Barbieri2022-04-202-0/+50
* dev-ml/xen-gnt: add 4.0.1, drop 4.0.0Alessandro Barbieri2022-04-152-14/+11
* dev-ml/*: change dune invocationAlessandro Barbieri2022-04-151-1/+1
* dev-ml/xen-gnt: useflagsAlessandro Barbieri2022-04-152-4/+20
* dev-ml/xen-gnt: initial importAlessandro Barbieri2022-04-043-0/+43