(**************************************************************************)
(*                                                                        *)
(*              The Sanskrit Heritage Dictionary Generator                *)
(*                                                                        *)
(*                           Gérard Huet                                  *)
(*                                                                        *)
(* ©2018 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************)

(* Generated by make version - see main Makefile *)
value version="3.07" and version_date="2018-05-26";