dune-project 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. (lang dune 3.0)
  2. ; https://dune.readthedocs.io/en/latest/opam.html#generating-opam-files
  3. (name geohash)
  4. (version 0.1)
  5. (subst disabled)
  6. (implicit_transitive_deps true)
  7. (generate_opam_files true)
  8. (formatting (enabled_for dune))
  9. (license GPL-3.0-only)
  10. (maintainers "Marcus Rohrmoser <work@mro.name>")
  11. (authors "The GeoHash# programmers")
  12. (homepage https://demo.mro.name/geohash.cgi)
  13. (bug_reports https://codeberg.org/mro/geohash/issues)
  14. (source (uri git+ssh://codeberg.org/mro/geohash.git))
  15. (package
  16. (name geohash)
  17. (synopsis "#🌐 geohash converter 🐫 library")
  18. (description "Convert WGS84 lat/lon pairs to [Gustavo Niemeyer](http://niemeyer.net/)s
  19. [Geohash](http://en.wikipedia.org/wiki/Geohash) and back.")
  20. (tags (Social Web Geohash CGI RFC3875))
  21. (depends
  22. (optint (>= 0.3))
  23. (ocaml (>= 4.08))
  24. ))
  25. (package
  26. (name geohash_bin)
  27. (synopsis "#🌐 geohash converter 🐫. Commandline and CGI. Zero-config, single-file")
  28. (description "Convert WGS84 lat/lon pairs to [Gustavo Niemeyer](http://niemeyer.net/)s
  29. [Geohash](http://en.wikipedia.org/wiki/Geohash) and back. Web and commandline, 🐪,
  30. statically linked, single-file, zero-config.")
  31. (tags (Social Web Geohash CGI RFC3875))
  32. (depends
  33. (tyre (>= 0.5))
  34. crunch
  35. ))