Debian Package Tracker

general

source: maude (main)
version: 2.7-2
maintainer: Debian Med Packaging Team (archive) [DMD] [LowNMU]
uploaders: Scott Christley [DMD] – Andreas Tille [DMD]
arch: any
std-ver: 3.9.7
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

oldstable: 2.6-6
stable: 2.7-2
testing: 2.7-2
unstable: 2.7-2

versioned links

2.6-6: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.7-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

maude

action needed

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

uscan returned an empty output

Created: 2017-11-21 Last update: 2019-05-20 16:36

Standards version of the package is outdated. high

The package is severely out of date with respect to the Debian Policy. The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.7).

Created: 2018-04-16 Last update: 2018-12-23 17:14

Depends on packages which need a new maintainer normal

The packages that maude depends on which need a new maintainer are:

buddy (#628923)
- Build-Depends: libbdd-dev
- Depends: libbdd0c2

Created: 2017-12-02 Last update: 2019-05-20 17:33

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 2.7.1-1, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

commit 16526c938d9f87ace3e2a4a5b510165ce449487e
Author: Andreas Tille <tille@debian.org>
Date:   Thu Jan 10 19:09:15 2019 +0100

    Cleanup changelog

commit 5bb362111b5598b5bd83d93e0058623f12185961
Author: Andreas Tille <tille@debian.org>
Date:   Thu Jan 10 19:02:49 2019 +0100

    Remove trailing whitespace in debian/copyright

commit e3a29d26b2a1502cb71919b561c6866ef770a6bb
Author: Andreas Tille <tille@debian.org>
Date:   Thu Jan 10 19:02:48 2019 +0100

    Standards-Version: 4.3.0

commit 57f7da794fed6439b47a800150b1e1f47621d7ff
Author: Andreas Tille <tille@debian.org>
Date:   Thu Jan 10 19:02:46 2019 +0100

    debhelper 12

commit e44becc2bc2851ff8d254ddf5a6549d4280f7cc3
Author: Jelmer Vernooĳ <jelmer@jelmer.uk>
Date:   Wed Oct 24 23:15:11 2018 +0000

    Use secure copyright file specification URI.
    Fixed-Lintian-Tags: insecure-copyright-format-uri
    
    Fixes lintian: insecure-copyright-format-uri
    See https://lintian.debian.org/tags/insecure-copyright-format-uri.html for more details.

commit 8b6f8ea4c3593ef0807edc1ee967f0161561499c
Author: Andreas Tille <tille@debian.org>
Date:   Wed Sep 19 07:34:09 2018 +0200

    Drop patch for bison which now leads to errors (thanks to Sergio Durigan Junior <sergiodj@debian.org> for the hint)

commit f3a46e2f7647558e9493df8010528c5aa9c9d5c0
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 4 07:33:13 2018 +0200

    export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)

commit d1e30f73e6166905a87e71da4e52b6550a479711
Author: Andreas Tille <tille@debian.org>
Date:   Fri Aug 3 16:04:38 2018 +0200

    Avoid parallel build

commit 20c54c7be026e2906726fd867591a14cf29277a7
Author: Andreas Tille <tille@debian.org>
Date:   Fri Aug 3 16:03:05 2018 +0200

    remove autotools_dev

commit b1c86ad125ab7da6350b36054af7d5a372d09e74
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 17:37:19 2018 +0200

    Build-Depends: libcvc4-dev

commit 35c17466e68ae7eaa5ae69a05be39659a04c733f
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:31:39 2018 +0200

    Fix patch

commit f94655cb74bfe7463e9d93a9d612921013944cdf
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:28:45 2018 +0200

    Standards-Version: 4.1.4

commit eedcacdae36b39343ec149f00a299bf704134bbb
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:28:45 2018 +0200

    Point Vcs fields to salsa.debian.org

commit f4c0ad91cffb60fd3fa9c9a9e170149e2fcbbf52
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:28:42 2018 +0200

    debhelper 11

commit 64532c0e53876e8764d74d786ec03bf6f72dd1e1
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:28:01 2018 +0200

    Refresh patches

commit d6817f78c6b8183e6282aa8ffdbd13731709b9bd
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:24:00 2018 +0200

    New upstream version

commit fd2a2c3065558b8bbb4ebb10526175a15df8810f
Merge: 52fdc30 e64caac
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:23:34 2018 +0200

    Update upstream source from tag 'upstream/2.7.1'
    
    Update to upstream version '2.7.1'
    with Debian dir 73137e09dcba98ba7fd0939be018e55a5cba8f1c

commit e64caace78f2d1f7d64679d689451b1474b410ec
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:23:24 2018 +0200

    New upstream version 2.7.1

commit 52fdc30100dbe8029c915e7596a8e136aa5e16bf
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:22:48 2018 +0200

    Fix watch file

commit 8d305c60a51a2eed2d817bc5b9c01a4c295b0243
Author: Andreas Tille <tille@debian.org>
Date:   Mon Jul 9 15:12:58 2018 +0200

    Try again with watch file but failed

commit 004931ef47dbb6a75c062ae22324d4cbff06df9e
Author: Andreas Tille <tille@debian.org>
Date:   Mon Apr 9 13:27:46 2018 +0200

    Fix reference

The Vcs URL is using anonscm.debian.org. Please update it for the move to salsa.debian.org.

Created: 2018-04-10 Last update: 2019-05-19 22:35

lintian reports 3 warnings normal

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2017-10-30 Last update: 2018-09-09 06:36

news

[rss feed]

[2016-04-11] maude 2.7-2 MIGRATED to testing (Debian testing watch)
[2016-04-05] Accepted maude 2.7-2 (source amd64) into unstable (Andreas Tille)
[2015-12-23] maude 2.7-1 MIGRATED to testing (Debian testing watch)
[2015-12-16] Accepted maude 2.7-1 (source amd64) into unstable (Andreas Tille)
[2014-10-07] maude 2.6-6 MIGRATED to testing (Britney)
[2014-10-02] Accepted maude 2.6-6 (source amd64) into unstable (Andreas Tille)
[2014-05-26] maude 2.6-5 MIGRATED to testing (Debian testing watch)
[2014-05-20] Accepted maude 2.6-5 (source amd64) (Andreas Tille)
[2014-01-27] maude REMOVED from testing (Debian testing watch)
[2013-11-25] maude 2.6-4 MIGRATED to testing (Debian testing watch)
[2013-10-24] Accepted maude 2.6-4 (source amd64) (Andreas Tille)
[2013-07-09] Accepted maude 2.6-3 (source amd64) (Andreas Tille)
[2011-11-15] maude 2.6-2 MIGRATED to testing (Debian testing watch)
[2011-11-04] Accepted maude 2.6-2 (source amd64) (Andreas Tille)
[2011-04-20] maude 2.6-1 MIGRATED to testing (Debian testing watch)
[2011-04-09] Accepted maude 2.6-1 (source amd64) (Scott Christley)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 3)
buildd: logs, clang, reproducibility, cross
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.7-2