2022-04-05 16:33:14 +02:00
|
|
|
(library
|
|
|
|
|
(name leaflet)
|
|
|
|
|
(public_name leaflet)
|
2022-04-07 14:45:11 +02:00
|
|
|
(modules ev latlng geojson_layer tile_layer popup marker map global)
|
2022-04-05 16:33:14 +02:00
|
|
|
(libraries brr js_of_ocaml)
|
|
|
|
|
(js_of_ocaml
|
|
|
|
|
(javascript_files leaflet.js)))
|
