Andreas Tille pushed to branch master at Debian Med / maude
Commits: 8dcd1664 by Andreas Tille at 2020-04-16T12:00:20+02:00 Standards-Version: 4.5.0 - - - - - 32b09167 by Andreas Tille at 2020-04-16T12:00:48+02:00 New upstream version 3.0 - - - - - d9213621 by Andreas Tille at 2020-04-16T12:00:48+02:00 routine-update: New upstream version - - - - - 740bea26 by Andreas Tille at 2020-04-16T12:01:00+02:00 Update upstream source from tag 'upstream/3.0' Update to upstream version '3.0' with Debian dir 9582bcbf050ad0748f0ee8008b106ef914a284a9 - - - - - 9eeb72a0 by Andreas Tille at 2020-04-16T12:01:01+02:00 routine-update: debhelper-compat 12 - - - - - 99b7b8d1 by Andreas Tille at 2020-04-16T14:37:48+02:00 Adapt patches - - - - - 319a4bca by Andreas Tille at 2020-04-16T14:38:21+02:00 routine-update: Add salsa-ci file - - - - - 4770a525 by Andreas Tille at 2020-04-16T14:38:21+02:00 routine-update: Rules-Requires-Root: no - - - - - 2e356037 by Andreas Tille at 2020-04-16T14:38:22+02:00 Remove duplicate line from changelog. - - - - - a8cbd8dd by Andreas Tille at 2020-04-16T14:38:34+02:00 Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright). - - - - - 363307fe by Andreas Tille at 2020-04-16T14:46:34+02:00 TODO: package https://github.com/SRI-CSL/yices2 - - - - - 30 changed files: - AUTHORS - ChangeLog - INSTALL - Makefile.in - NEWS - README - aclocal.m4 - config.h.in - configure - configure.ac - debian/changelog - − debian/compat - debian/control - debian/patches/getinput-size_t.patch - debian/patches/strip-build-date.patch - + debian/salsa-ci.yml - debian/upstream/metadata - src/3rdParty/Makefile.in - src/ACU_Persistent/ACU_Copy.cc - src/ACU_Persistent/ACU_Delete.cc - src/ACU_Persistent/ACU_FastIter.hh - src/ACU_Persistent/ACU_Find.cc - src/ACU_Persistent/ACU_Insert.cc - src/ACU_Persistent/ACU_Pair.hh - src/ACU_Persistent/ACU_Persistent.hh - src/ACU_Persistent/ACU_Rebalance.cc - src/ACU_Persistent/ACU_RedBlack.hh - src/ACU_Persistent/ACU_RedBlackNode.cc - src/ACU_Persistent/ACU_RedBlackNode.hh - src/ACU_Persistent/ACU_SlowIter.hh The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/med-team/maude/-/compare/a0a457f0ff0dfced77a764183676eddacabc7137...363307fe9daa6918bbcfcb1baae6025618b801ec -- View it on GitLab: https://salsa.debian.org/med-team/maude/-/compare/a0a457f0ff0dfced77a764183676eddacabc7137...363307fe9daa6918bbcfcb1baae6025618b801ec 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
