summaryrefslogtreecommitdiff
path: root/lib/manifest.ml
AgeCommit message (Collapse)Author
2025-12-10Git fix reference·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10Pijul fix reference·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10can’t reuse Darcs reference since Assumed must be None in manifest·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10manifest: do hash algo·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10add more eq·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10set up QCheck·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10add banners! ⛧·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10further README updates·𐑑𐑴𐑕𐑑𐑩𐑤
2025-12-10ocaml onset·𐑑𐑴𐑕𐑑𐑩𐑤