[med-svn] [Git][med-team/maude][upstream] New upstream version 3.1

[Nilesh Patra]

Nilesh Patra pushed to branch upstream at Debian Med / maude


Commits:
9bb94e26 by Nilesh Patra at 2020-10-31T16:45:37+05:30
New upstream version 3.1
- - - - -


30 changed files:

- ChangeLog
- Makefile.in
- NEWS
- README
- aclocal.m4
- config.h.in
- configure
- configure.ac
- + m4/ax_have_poll.m4
- src/3rdParty/Makefile.in
- src/ACU_Persistent/Makefile.in
- src/ACU_Theory/ACU_DagNode.cc
- src/ACU_Theory/ACU_LhsCompiler0.cc
- src/ACU_Theory/ACU_Matcher.cc
- src/ACU_Theory/ACU_Symbol.cc
- src/ACU_Theory/ACU_UnificationSubproblem2.cc
- src/ACU_Theory/ACU_UnificationSubproblem2.hh
- src/ACU_Theory/ChangeLog
- src/ACU_Theory/Makefile.in
- src/AU_Persistent/Makefile.in
- src/AU_Theory/AU_DagNode.cc
- src/AU_Theory/AU_Symbol.cc
- src/AU_Theory/AU_Symbol.hh
- src/AU_Theory/AU_UnificationSubproblem2.cc
- src/AU_Theory/AU_UnificationSubproblem2.hh
- src/AU_Theory/ChangeLog
- src/AU_Theory/Makefile.in
- src/BuiltIn/ACU_NumberOpSymbol.cc
- src/BuiltIn/ChangeLog
- src/BuiltIn/Makefile.in


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/med-team/maude/-/commit/9bb94e2667ed7211626ba7c6b5feaf8f5753e96d

-- 
View it on GitLab: https://salsa.debian.org/med-team/maude/-/commit/9bb94e2667ed7211626ba7c6b5feaf8f5753e96d
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-med-commit/attachments/20201031/f6a2a1a7/attachment-0001.html>