2 Commits

Include renames

Author	SHA1	Message	Date
mgrettondann	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
mgrettondann	e919ffe06a	Initial commit ... Basic build infrastructure, license, and readme files.	2025-08-30 10:10:13 +01:00