[Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1

["Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3

Commits:

• 13d5cde5
  by Ralf Treinen at 2022-09-29T20:31:31+02:00

  New upstream version 1.5.1

• 15313a6c
  by Ralf Treinen at 2022-09-30T04:47:42+02:00

  Update upstream source from tag 'upstream/1.5.1'
  
  Update to upstream version '1.5.1'
  with Debian dir adf047fdd48a6e69a2e407391a93f9019b9f7ef1
  

30 changed files:

• CHANGES.md
• Makefile.in
• configure
• configure.in
• debian/changelog
• doc/conf.py
• doc/index.rst
• doc/input_formats.rst
• doc/manpages.rst
• doc/manual.bib
• drivers/alt_ergo_common.drv
• examples/avl/avl.mlw
• + examples/bts/559.mlw
• examples/python/is_sorted.py
• examples/python/is_sorted/why3session.xml
• examples/python/is_sorted/why3shapes.gz
• examples/tests/rac.out
• examples/use_api/oracles/test-api-mlw_expr.stdout
• plugins/python/py_ast.mli
• plugins/python/py_lexer.mll
• plugins/python/py_main.ml
• plugins/python/py_parser.mly
• plugins/python/test.py
• share/lang/why3py.lang
• share/provers-detection-data.conf
• src/core/dterm.ml
• src/mlw/dexpr.ml
• src/mlw/expr.ml
• src/mlw/pmodule.ml
• src/session/controller_itp.ml

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help