8 commits

Author	SHA1	Message	Date
Hannes Mehnert	9388e31171	README: minor fix	2024-10-21 13:29:57 +02:00
Hannes Mehnert	f1c0e05e81	minor adjustments	2024-10-21 13:28:28 +02:00
Calascibetta Romain	6b343af91c	Upgrade to the unreleased version of YOCaml 2	2024-09-30 20:39:49 +02:00
Calascibetta Romain	0e61d137c4	Fix a bit the README.md	2024-02-21 10:49:33 +01:00
Hannes Mehnert	be04d3eba1	since yocaml was released, no need for pin-depending on it	2024-02-13 14:32:16 +01:00
Robur	2b5abed59e	Add a note about the update.sh script	2023-11-15 10:07:36 +00:00
Calascibetta Romain	0c4f073a14	Fix a typo	2023-11-13 19:16:21 +01:00
Calascibetta Romain	7e9d7364a2	First commit	2023-11-13 19:13:44 +01:00