Debian Package Tracker
Register | Log in
Subscribe

lem

Tool merging math and logic for executable definitions (tool)

Choose email to subscribe with

general
  • source: lem (main)
  • version: 2022-12-10+dfsg2-4
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Bo YU [DMD]
  • arch: any
  • std-ver: 4.7.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • testing: 2022-12-10+dfsg2-4
  • unstable: 2022-12-10+dfsg2-4
versioned links
  • 2022-12-10+dfsg2-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • lem
  • liblem-ocaml-dev
action needed
A new upstream version is available: 2025-03-13 high
A new upstream version 2025-03-13 is available, you should consider packaging it.
Created: 2025-03-15 Last update: 2025-05-31 22:56
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 2025-03-13+dfsg-1, distribution unstable) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
commit 3c5e68367c75da52f9570b6bed0378d731cd1174
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 19:04:13 2025 +0800

    Prepare for upload to unstable
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit 299b3e3b509c1f377d4faccf75e39b2f8c5afd83
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 18:56:33 2025 +0800

    Update my Debian email
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit 353fd4e76ba9f71ca58bff65ae29db40c0b584f0
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 18:45:41 2025 +0800

    Update year of d/copyright
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit 0ab576090a13647cd1587ed7fb0be23de791723d
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 18:43:57 2025 +0800

    Bump Standards-Version to 4.7.2 (no changes)
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit e1757180de5a23410694a273324f671e8ed4557d
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 15:31:30 2025 +0800

    rebase debian/patches/
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit d94300842dde2c66eb39949932ed5370cd36541e
Merge: fa9bb20 234f147
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 14:53:44 2025 +0800

    Update upstream source from tag 'upstream/2025-03-13+dfsg'
    
    Update to upstream version '2025-03-13+dfsg'
    with Debian dir a29d96397388f06b05ada8ba51db5a676c9f3287

commit 234f14735a7754468a57b5c682e07fbeb97b7181
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue May 27 14:53:43 2025 +0800

    New upstream version 2025-03-13+dfsg
Created: 2025-05-27 Last update: 2025-05-27 13:32
debian/patches: 1 patch to forward upstream low

Among the 4 debian patches available in version 2022-12-10+dfsg2-4 of the package, we noticed the following issues:

  • 1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2024-10-15 Last update: 2024-10-15 07:36
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.7.0).
Created: 2025-02-21 Last update: 2025-02-27 13:25
news
[rss feed]
  • [2024-10-19] lem 2022-12-10+dfsg2-4 MIGRATED to testing (Debian testing watch)
  • [2024-10-14] Accepted lem 2022-12-10+dfsg2-4 (source) into unstable (Stéphane Glondu)
  • [2024-10-14] lem 2022-12-10+dfsg2-3 MIGRATED to testing (Debian testing watch)
  • [2024-10-08] Accepted lem 2022-12-10+dfsg2-3 (source) into unstable (Bo YU) (signed by: Gianfranco Costamagna)
  • [2024-09-28] lem 2022-12-10+dfsg2-2 MIGRATED to testing (Debian testing watch)
  • [2024-09-23] Accepted lem 2022-12-10+dfsg2-2 (source) into unstable (Bo YU) (signed by: Gianfranco Costamagna)
  • [2024-09-23] lem 2022-12-10+dfsg2-1 MIGRATED to testing (Debian testing watch)
  • [2024-09-13] Accepted lem 2022-12-10+dfsg2-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Gianfranco Costamagna)
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 0
  • M&W: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian
  • buildd: logs, checks, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 2022-12-10+dfsg2-4build1

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