Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / utop
Commits:
-
4767e743
by Stephane Glondu at 2023-07-21T08:57:01+02:00
5 changed files:
Changes:
1 | +2.13.1 (2023-07-07)
|
|
2 | +-------------------
|
|
3 | + |
|
4 | +* Fix unavailable expunge on Windows (#447, @jonahbeckford)
|
|
5 | + |
|
1 | 6 | 2.13.0 (2023-07-03)
|
2 | 7 | -------------------
|
3 | 8 | |
... | ... | @@ -9,7 +14,7 @@ |
9 | 14 | @Skyb0rg007)
|
10 | 15 | |
11 | 16 | * Remove deprecated values `prompt_continue`, `prompt_comment`, `smart_accept`,
|
12 | - `new_prompt_hooks`, `at_new_prompt` (#..., @emillon)
|
|
17 | + `new_prompt_hooks`, `at_new_prompt` (#427, @emillon)
|
|
13 | 18 | |
14 | 19 | * Require OCaml 4.11.0 or newer. (#444, @emillon)
|
15 | 20 |
1 | 1 | (lang dune 2.0)
|
2 | 2 | (formatting (enabled_for dune))
|
3 | 3 | (name utop)
|
4 | +(version 2.13.1)
|
|
4 | 5 | |
5 | 6 | (generate_opam_files)
|
6 | 7 | (source (github ocaml-community/utop))
|
... | ... | @@ -18,7 +18,7 @@ let (>>=) = Lwt.(>>=) |
18 | 18 | |
19 | 19 | module String_set = Set.Make(String)
|
20 | 20 | |
21 | -let version = "%%VERSION%%"
|
|
21 | +let version = "2.13.1"
|
|
22 | 22 | |
23 | 23 | (* +-----------------------------------------------------------------+
|
24 | 24 | | History |
|
... | ... | @@ -33,7 +33,7 @@ |
33 | 33 | (rule
|
34 | 34 | (targets utop-expunged.bc)
|
35 | 35 | (action
|
36 | - (run %{ocaml_where}/expunge %{dep:utop.bc} %{targets}
|
|
36 | + (run %{ocaml_where}/expunge%{ext_exe} %{dep:utop.bc} %{targets}
|
|
37 | 37 | %{read-lines:modules.txt})))
|
38 | 38 | |
39 | 39 | (install
|
1 | +version: "2.13.1"
|
|
1 | 2 | # This file is generated by dune, edit dune-project instead
|
2 | 3 | opam-version: "2.0"
|
3 | 4 | synopsis: "Universal toplevel for OCaml"
|
... | ... | @@ -39,4 +40,4 @@ build: [ |
39 | 40 | "@doc" {with-doc}
|
40 | 41 | ]
|
41 | 42 | ]
|
42 | -dev-repo: "git+https://github.com/ocaml-community/utop.git" |
|
43 | +dev-repo: "git+https://github.com/ocaml-community/utop.git" |
|
\ No newline at end of file |