# Source0-md5: c6ef478362295c150101cdd2efcd38e0
Source1: http://caml.inria.fr/distrib/%{name}-%{version}/%{name}-%{version}-refman.html.tar.gz
# Source1-md5: 0daee5643db6960682c1a7d84467885f
# Source0-md5: c6ef478362295c150101cdd2efcd38e0
Source1: http://caml.inria.fr/distrib/%{name}-%{version}/%{name}-%{version}-refman.html.tar.gz
# Source1-md5: 0daee5643db6960682c1a7d84467885f