Debian Package Tracker
Register | Log in
Subscribe

maude

high-performance logical framework

Choose email to subscribe with

general
  • source: maude (main)
  • version: 3.2-2
  • maintainer: Debian Med Packaging Team (archive) (DMD) (LowNMU)
  • uploaders: Scott Christley [DMD] – Andreas Tille [DMD]
  • arch: any
  • std-ver: 4.6.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 2.7-2
  • oldstable: 2.7-2
  • stable: 3.1-2
  • testing: 3.2-2
  • unstable: 3.2-2
versioned links
  • 2.7-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • maude
action needed
Depends on packages which need a new maintainer normal
The packages that maude depends on which need a new maintainer are:
  • buddy (#628923)
    • Depends: libbdd0c2
    • Build-Depends: libbdd-dev
Created: 2019-11-22 Last update: 2022-08-15 12:33
lintian reports 1 warning normal
Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.
Created: 2022-07-30 Last update: 2022-07-30 12:15
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.6.0).
Created: 2022-05-11 Last update: 2022-07-13 01:45
news
[rss feed]
  • [2022-07-18] maude 3.2-2 MIGRATED to testing (Debian testing watch)
  • [2022-07-12] Accepted maude 3.2-2 (source) into unstable (Nilesh Patra)
  • [2022-02-25] maude 3.2-1 MIGRATED to testing (Debian testing watch)
  • [2022-02-19] Accepted maude 3.2-1 (source) into unstable (Andreas Tille)
  • [2020-12-21] maude 3.1-2 MIGRATED to testing (Debian testing watch)
  • [2020-12-15] Accepted maude 3.1-2 (source) into unstable (Nilesh Patra)
  • [2020-10-31] Accepted maude 3.1-1 (source) into unstable (Nilesh Patra)
  • [2020-10-30] Accepted maude 3.0-1 (source) into unstable (Andreas Tille)
  • [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, 1)
  • buildd: logs, clang, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.2-2

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing