Delete ctypes extensions 0.1 and 0.2#8293

Merged

emillon merged 1 commit intoocaml:mainfrom emillon:delete-old-ctypes

Sep 4, 2023

+81-114

Commits on Sep 4, 2023

Remove ctypes extension versions 0.1 and 0.2
emillon
committed