Le 15/08/2023 à 10:44, Richard W.M. Jones a écrit :
FYI we've patched freetennis to get it working with OCaml 5:https://src.fedoraproject.org/rpms/freetennis/tree/rawhide
FYI, we finally got rid of freetennis: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050369 Cheers, -- Stéphane