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
New upstream version 2.13.1
- - - - -


5 changed files:

- CHANGES.md
- dune-project
- src/lib/uTop.ml
- src/top/dune
- utop.opam


Changes:

=====================================
CHANGES.md
=====================================
@@ -1,3 +1,8 @@
+2.13.1 (2023-07-07)
+-------------------
+
+* Fix unavailable expunge on Windows (#447, @jonahbeckford)
+
 2.13.0 (2023-07-03)
 -------------------
 
@@ -9,7 +14,7 @@
   @Skyb0rg007)
 
 * Remove deprecated values `prompt_continue`, `prompt_comment`, `smart_accept`,
-  `new_prompt_hooks`, `at_new_prompt` (#..., @emillon)
+  `new_prompt_hooks`, `at_new_prompt` (#427, @emillon)
 
 * Require OCaml 4.11.0 or newer. (#444, @emillon)
 


=====================================
dune-project
=====================================
@@ -1,6 +1,7 @@
 (lang dune 2.0)
 (formatting (enabled_for dune))
 (name utop)
+(version 2.13.1)
 
 (generate_opam_files)
 (source (github ocaml-community/utop))


=====================================
src/lib/uTop.ml
=====================================
@@ -18,7 +18,7 @@ let (>>=) = Lwt.(>>=)
 
 module String_set = Set.Make(String)
 
-let version = "%%VERSION%%"
+let version = "2.13.1"
 
 (* +-----------------------------------------------------------------+
    | History                                                         |


=====================================
src/top/dune
=====================================
@@ -33,7 +33,7 @@
 (rule
  (targets utop-expunged.bc)
  (action
-  (run %{ocaml_where}/expunge %{dep:utop.bc} %{targets}
+  (run %{ocaml_where}/expunge%{ext_exe} %{dep:utop.bc} %{targets}
     %{read-lines:modules.txt})))
 
 (install


=====================================
utop.opam
=====================================
@@ -1,3 +1,4 @@
+version: "2.13.1"
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis: "Universal toplevel for OCaml"
@@ -39,4 +40,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/ocaml-community/utop.git";
+dev-repo: "git+https://github.com/ocaml-community/utop.git";
\ No newline at end of file



View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/commit/4767e7433c5bc63087daaa67ef9624cfd40844c7

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/utop/-/commit/4767e7433c5bc63087daaa67ef9624cfd40844c7
You're receiving this email because of your account on salsa.debian.org.


Reply via email to