2022-04-05 16:33:14 +02:00
|
|
|
(library
|
|
|
|
|
(public_name leaflet)
|
2022-04-08 22:43:31 +02:00
|
|
|
(modules
|
|
|
|
|
event
|
|
|
|
|
geojson_layer
|
|
|
|
|
global
|
|
|
|
|
latlng
|
|
|
|
|
layer
|
|
|
|
|
map
|
|
|
|
|
marker
|
|
|
|
|
popup
|
|
|
|
|
tile_layer)
|
|
|
|
|
(libraries brr)
|
2022-04-05 16:33:14 +02:00
|
|
|
(js_of_ocaml
|
|
|
|
|
(javascript_files leaflet.js)))
|
