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.
_______________________________________________ debian-med-commit mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-med-commit
