fcambus 7f9688846b caml-light: point MASTER_SITES to caml.inria.fr.		2023-05-13 17:36:35 +00:00
..
patches
DESCR
distinfo	lang: Replace RMD160 checksums with BLAKE2s checksums	2021-10-26 10:51:29 +00:00
Makefile	caml-light: point MASTER_SITES to caml.inria.fr.	2023-05-13 17:36:35 +00:00
PLIST