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