Bug#1000633: simbody: please package v3.7

2021-11-26 Thread Andrius Merkys
Source: simbody Hello, I saw that salsa contains packaging for simbody v3.7, but it does not seem to be uploaded. Are there any blockers for that? I need simbody v3.7 to update macromoleculebuilder. Best, Andrius

Bug#984159: gnubiff: ftbfs with GCC-11

2021-11-26 Thread Simon Chopin
Package: gnubiff Version: 2.2.17-3 Followup-For: Bug #984159 User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu jammy ubuntu-patch X-Debbugs-Cc: simon.cho...@canonical.com Control: tags -1 patch Dear Maintainer, In Ubuntu, the attached patch was applied to achieve the following: *

Bug#1000632: RM: coq/8.12.0-3+b3 and others

2021-11-26 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: rm X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Dear Release Managers, #1000573 prevents a bunch of packages [1] from migrating to testing. It would makes things better if coq and some

Bug#1000628: transition: libotf

2021-11-26 Thread Sebastian Ramacher
Control: tags -1 confirmed Control: forwarded -1 https://release.debian.org/transitions/html/auto-libotf.html On 2021-11-25 22:28:05 +0100, Harshula wrote: > Package: release.debian.org > Severity: normal > User: release.debian@packages.debian.org > Usertags: transition > > > Hi Release

<    1   2