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

[Andreas Tille (@tille)]

Andreas Tille pushed to branch upstream at Debian Med / maude


Commits:
78cb6bc9 by Andreas Tille at 2022-02-19T21:05:30+01:00
New upstream version 3.2
- - - - -


30 changed files:

- ChangeLog
- INSTALL
- NEWS
- README
- configure
- configure.ac
- + doc/alpha132.txt
- + doc/alpha133.txt
- + doc/alpha134.txt
- + doc/alpha135.txt
- + doc/alpha136.txt
- + doc/alpha137.txt
- − src/3rdParty/Makefile.am
- − src/3rdParty/Makefile.in
- − src/3rdParty/MersenneTwister.h
- src/ACU_Theory/ACU_DagNode.cc
- src/ACU_Theory/ACU_DagNode.hh
- src/ACU_Theory/ACU_ExtensionInfo.cc
- src/ACU_Theory/ACU_ExtensionInfo.hh
- src/ACU_Theory/ACU_LazySubproblem.cc
- src/ACU_Theory/ACU_Matcher.cc
- src/ACU_Theory/ACU_Subproblem.cc
- src/ACU_Theory/ACU_Symbol.cc
- src/ACU_Theory/ACU_Term.cc
- src/ACU_Theory/ACU_TreeMatcher.cc
- src/ACU_Theory/ACU_UnificationSubproblem2.cc
- src/ACU_Theory/ChangeLog
- src/AU_Theory/AU_DagNode.cc
- src/AU_Theory/AU_DagNode.hh
- src/AU_Theory/AU_DequeMatcher.cc


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://salsa.debian.org/med-team/maude/-/commit/78cb6bc90ec77a2adb4152113b1629c288daa546
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/20220219/e6a029df/attachment-0001.htm>