[med-svn] [Git][med-team/maude][master] 11 commits: Standards-Version: 4.5.0

[Andreas Tille]

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.


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