Commit graph

2 commits

Author SHA1 Message Date
82e7a9ee42 add checksums for files, otherwise opam complains 2024-06-02 22:12:07 +02:00
f382aaed32 upgrade to 0.8.1 2024-05-30 09:16:32 +02:00