gps/gps.opam at master · qheath/gps · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
opam-version: "2.0"
version: "0.13"
maintainer: "Quentin Heath <12143333+qheath@users.noreply.github.com>"
authors: "Quentin Heath <12143333+qheath@users.noreply.github.com>"
homepage: "https://github.com/qheath/gps"
bug-reports: "https://github.com/qheath/gps/issues"
dev-repo: "git://github.com/qheath/gps.git"
license: "GPL-3"
build: [
  ["dune" "build" "-p" name "-j" jobs "@install"]
  ["dune" "build" "-p" name "-j" jobs "@runtest"] {with-test}
  ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
]

depends: [
  "menhir" {build}
  "dune"
  "ptime"
  "nelist"
  "gg"
  "vg"
  "cairo2"
  "jupiteri"
  "patience_diff" {with-test}
  "cmdliner" {with-test}
  "odoc" {with-doc}
]
synopsis: "GPS utilities"
description: """
- nmea: parse and pretty-print [NMEA] files containing GPS data (GP
  talker sentences tagged GGA or RMC, as created by a Sony HDR-AS200V
  action camera)
- trajectory: import, export, create, edit and compare GPS trajectories

[NMEA]: http://freenmea.net/docs"""
#url {
#  src: ""
#  checksum: ""
#}