2 Commits

Author SHA1 Message Date
3288d85db7 Update URIs following initial push
I changed the name of the repository in gitea so the URIs in the README,
dune-project, and partridge.opam files need updating.
2025-08-30 19:34:56 +01:00
e919ffe06a Initial commit
Basic build infrastructure, license, and readme files.
2025-08-30 10:10:13 +01:00