Hannes Mehnert 82e7a9ee42 add checksums for files, otherwise opam complains		2024-06-02 22:12:07 +02:00
..
files/packaging	upgrade to 0.8.1	2024-05-30 09:16:32 +02:00
opam	add checksums for files, otherwise opam complains	2024-06-02 22:12:07 +02:00