Commit graph

52 commits

Author SHA1 Message Date
a4a7358c4d opam: fix dev-repo url 2022-10-05 14:41:49 +02:00
0bc984f2ed initial commit (copy from opam-mirror) 2022-10-05 13:58:07 +02:00