File tree Expand file tree Collapse file tree 4 files changed +31
-8
lines changed Expand file tree Collapse file tree 4 files changed +31
-8
lines changed Original file line number Diff line number Diff line change 1+ (lang dune 1 .0)
2+ (name mtime)
Original file line number Diff line number Diff line change @@ -18,15 +18,12 @@ Home page: http://erratique.ch/software/mtime"""
1818maintainer: "Daniel Bünzli <daniel.buenzl
[email protected] >"
1919authors: "The mtime programmers"
2020license: "ISC"
21- tags: ["time" "monotonic" "system" "org:erratique"]
22- homepage: "https://erratique.ch/software/mtime"
23- doc: "https://erratique.ch/software/mtime/doc/"
21+ homepage: "https://github.com/dune-universe/mtime"
2422bug-reports: "https://github.com/dbuenzli/mtime/issues"
2523depends: [
24+ "dune"
2625 "ocaml" {>= "4.08.0"}
27- "ocamlfind" {build}
28- "ocamlbuild" {build & != "0.9.0"}
29- "topkg" {build & >= "1.0.3"}
3026]
31- build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"]
32- dev-repo: "git+https://erratique.ch/repos/mtime.git"
27+ build: [ "dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} ]
28+ tags: [ "time" "posix" "system" "org:erratique" ]
29+ dev-repo: "git+https://github.com/dune-universe/mtime.git"
Original file line number Diff line number Diff line change 1+ (library
2+ (name mtime_clock)
3+ (public_name mtime.clock.os)
4+ (libraries mtime)
5+ (modules mtime_clock)
6+ (c_names mtime_clock_stubs)
7+ (wrapped false))
Original file line number Diff line number Diff line change 1+ (library
2+ (name mtime)
3+ (public_name mtime)
4+ (modules mtime)
5+ (wrapped false))
6+
7+ (library
8+ (name mtime_clock_virtual)
9+ (public_name mtime.clock)
10+ (modules))
11+
12+ (library
13+ (name mtime_top)
14+ (public_name mtime.top)
15+ (libraries compiler-libs.toplevel mtime)
16+ (modules mtime_top)
17+ (wrapped false))
You can’t perform that action at this time.
0 commit comments