Hi,
Le jeudi 09 mai 2024 à 09:45 +0200, Gianfranco Costamagna a écrit :
> Source: coq-corn
> Version: 8.19.0-1
> Severity: serious
>
> Hello, looks like there are at least two issues:
> 1) fta directory was stripped on tarball import, not sure how and
> why, because the upstream repo still
Hi,
I can just confirm that whatever was done breaks usage of gbp import-
orig --uscan.
Cheers,
J.Puydt
Package: context
Version: 2023.05.05.20230730+dfsg-2
Severity: critical
since a few days, I saw a configuration issue with the tex-common
package. (What I don't get is why it actually needs configuration since
I don't see uploads since months.)
I finally found the time to investigate and report.
Hi,
I just compiled the package without any issue.
A case of eigenbug where you compile three times and it only fails one?
Cheers,
J.Puydt
Hi,
Le vendredi 09 février 2024 à 10:19 +0100, Sebastian Ramacher a écrit :
> Hi Julien
>
> On 2024-02-09 10:06:28 +0100, julien.pu...@gmail.com wrote:
> > Hi,
> >
> > is there a particular problem with what I'm proposing? I checked
> > and
> > didn't see any collision with an ocaml transition
Hi,
is there a particular problem with what I'm proposing? I checked and
didn't see any collision with an ocaml transition or some such.
Thanks,
J.Puydt
Hi,
someone uploaded a new mathcomp-analysis not knowing about this planned
transition, so it should be taken into account.
Cheers,
J.Puydt
PS: updated ben script
dw coq-elpi_2.0.0-1 . ANY . -m 'elpi >= 1.18.1-1'
dw coq-hierarchy-builder_1.7.0-1 . ANY . -m 'coq-elpi >= 2.0.0-1'
dw
Hi,
Le lundi 29 janvier 2024 à 09:39 +, Debian Bug Tracking System a
écrit :
> Your message dated Mon, 29 Jan 2024 09:35:04 +
> with message-id
> and subject line Bug#1060988: fixed in mathcomp-analysis 1.0.0-1
> has caused the Debian Bug report #1060988,
> regarding mathcomp-analysis:
Hi,
Le dimanche 28 janvier 2024 à 08:17 +0100, Andreas Tille a écrit :
> Hi Jullien,
>
> upstream page[1] says:
>
> This package is in maintenance-only mode. New code should use the
> importlib.metadata module in the Python standard library to find
> and load entry points.
>
> So it seems
Package: release.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
Severity: normal
there is a new upstream for elpi in the OCaml packages, which has an
impact on a few Coq packages.
I checked locally (using sbuild in a chroot) everything could move
fine.
Several packages
tests)
Author: Julien Puydt
Forwarded: not needed
--- entrypoints.orig/tests/test_entrypoints.py
+++ entrypoints/tests/test_entrypoints.py
@@ -19,31 +19,31 @@
def test_iter_files_distros():
result = entrypoints.iter_files_distros(path=sample_path)
-# the sample_path has 4 unique items so
Hi,
Le dimanche 21 janvier 2024 à 21:38 +0100, Paul Gevers a écrit :
> Hi,
>
> On 21-01-2024 21:06, julien.pu...@gmail.com wrote:
> > Would kicking the mathcomp-analysis package out of testing allow
> > the
> > migration of the rest of the Coq-related packages and at least give
> > a
> >
Hi,
Le dimanche 21 janvier 2024 à 08:42 +0100, Paul Gevers a écrit :
> Source: coq
> Version: 8.17.0+dfsg-1
> Severity: serious
> Control: close -1 8.18.0+dfsg-1
> Tags: sid trixie
> User: release.debian@packages.debian.org
> Usertags: out-of-sync
>
> Dear maintainer(s),
>
> The Release
Hi,
can you tell me why you declared coq package's version 8.18.0+dfsg-1 is
still affected by the issue? Your message was less than informative!
Cheers,
J.Puydt
Hi,
Le jeudi 04 janvier 2024 à 21:03 -0400, Stefano Rivera a écrit :
> Package: ftp.debian.org
> Severity: normal
> User: ftp.debian@packages.debian.org
> Usertags: remove
> X-Debbugs-Cc: setuptools-scm-git-arch...@packages.debian.org,
> jpu...@debian.org
> Control: affects -1 +
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: an...@packages.debian.org, Debian Math Team
, jpu...@debian.org
Control: affects -1 + src:antic
Upstream merged src:antic into src:flint, and we already have src:flint, so we
don't
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: mathcomp-a...@packages.debian.org, Debian OCaml Maintainers
, jpu...@debian.org
Control: affects -1 + src:mathcomp-abel
Hi,
tagging it as abandoned is a bit excessive -- it's just
Hi,
Le mer. 20 déc. 2023, 07:27, zhangdandan a écrit :
> Source: elpi
> Version: 8.5.4-1
> Severity: wishlist
> Tags: patch
> User: debian-loonga...@lists.debian.org
> Usertags: loong64
>
> Dear maintainers,
>
> The elpi source package lacks LoongArch architecture support.
> We need to add
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: calc...@packages.debian.org, Debian Math Team
, jpu...@debian.org
Control: affects -1 + src:calcium
Calcium is now included in the newer versions of the flint package, so we don't
Hi,
Le mercredi 22 novembre 2023 à 18:48 +0100, Gianfranco Costamagna a
écrit :
> control: tags -1 patch
>
> Hello, not sure why and how, but this upstream commit
> fbe9e28b667e795a5ceb41bd7784bd2ea7ab10bf
>
>
Hi,
Le jeudi 16 novembre 2023 à 16:45 +0100, Gianfranco Costamagna a
écrit :
> Source: coq
> Version: 8.17.0+dfsg-1
> Severity: serious
>
> Hello,
>
> https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/coq.html
>
> As said here, there is a build failure due to probably new dune
Package: firefox-esr
Version: 115.3.0esr-1
I only report it now because I noticed this recently, but I don't think
I had the issue in last may.
On one of the sites I have to use professionally, after a file was
uploaded and I disconnect from the site and close the tab, lsof shows
the file handle
Hi
Le lun. 18 sept. 2023, 09:37, Stéphane Glondu a écrit :
>
> OCaml 5.1.0 has just been released, and a version 4.14.2 will soon be
> released. Current version in unstable is 4.13.1.
>
> I played a bit with opam-debian-switch, and it turns out that (at least)
> 35 packages are broken (at the
Hi,
Le mercredi 23 août 2023 à 08:45 +0100, Simon McVittie a écrit :
> No, the central misunderstanding here is that you think Replaces will
> have the effect of instructing dpkg to remove the replaced package
> completely, which is not the case.
Oh. I think I had two problems:
(1) thinking
Le mercredi 23 août 2023 à 09:07 +0100, Simon McVittie a écrit :
> On Wed, 23 Aug 2023 at 08:41:44 +0200, julien.pu...@gmail.com wrote:
> > let's lower the severity to avoid blocking migration during the
> > discussion -- after all the Breaks already avoids the file conflict
> > issue.
>
> Sorry,
Package: debian-policy
Version: 4.6.2.0
Severity: normal
Hi,
over at bug #1050027 there is a discussion of applicable policy when
splitting a package. I'll first explain what the bug is about and then
why that's a problem with the Policy.
The src:mathcomp-analysis package provided a single
Control: severity -1 normal
Hi,
let's lower the severity to avoid blocking migration during the
discussion -- after all the Breaks already avoids the file conflict
issue.
Cheers,
J.Puydt
Le mardi 22 août 2023 à 08:34 +0200, Stéphane Glondu a écrit :
>
> This situation is explicitly covered in Policy 7.3 and 7.6.1.
Section 7.3 explains why the Breaks is needed when there are file
conflicts ; we agree on that point and hence 0.6.4-2 got it.
Section 7.6 is about partial and
Package: debian-policy
Version: 4.6.2.0
Severity: minor
In the first paragraph of section 7.6.1 "Overwriting files in other
packages" the reason why Breaks should be used when Replaces does is
mentioned in a sentence and explained in a footnote.
I suggest to take that sentence "Normally, Breaks
Package: matplotlib
Version: 3.6.3-1
Severity: minor
Upstream setuptools-scm-git-archive is obsolete -- setuptools-scm >= 7
has everything, so I would like to get it out of Debian.
The upstream matplotlib 3.6.3 doesn't depend on setuptools-scm-git-
archive, but the Debian package still b-deps on
Package: statsmodels
Version: 0.14.0+dfsg-3
Severity: minor
Hi,
upstream setuptools-scm-git-archive is obsolete -- setuptools-scm >= 7
contains everything needed ; so I would like to drop the package from
Debian.
Unfortunately, statsmodels' d/control still mentions it as a b-dep. But
that is
Package: python-jira
Version: 3.5.2-1
Severity: minor
setuptools-scm-archive is obsolete, so I would like to drop its package
from Debian.
Unfortunately, python-jira still b-deps on it. But that can be dropped
from d/control, as the build and upstream don't depend on it anyway!
Cheers,
J.Puydt
Package: ocrmypdf
Version: 14.0.1+dfsg1
Severity: minor
Upstream setuptools-scm-git-archive is obsolete, so depending packages
should stop using it.
And in fact, ocrmypdf (contrary to what docs/maintainers.rst says)
doesn't use it anymore, at it depends on setuptools-scm >= 7 ; so I
propose to
Le samedi 19 août 2023 à 20:58 +0200, Helmut Grohne a écrit :
> Control: reopen -1
> Control: found -1 mathcomp-analysis/0.6.4-2
>
> On Sat, Aug 19, 2023 at 05:33:11PM +, Debian Bug Tracking System
> wrote:
> > It has been closed by Debian FTP Masters
> &
Package: pyocd
Version: 0.13.1+dfsg-3
Severity: minor
In d/control, the b-dep on python3-setuptools-scm-git-archive can be
dropped:
1. it isn't used anyway (patched out by debian/patches/0001-Update-
setup.py-to-work-with-Python3.patch) ;
2. setuptools-scm-git-archive upstream is obsolete ;
3.
Package: utop
Version: 2.13.1
Severity: serious
After I made utop run by itself (report #1042749), I tried to run it
through "dune utop" and found liblambda-term-ocaml-dev is needed for
this to work.
Cheers,
J
Package: utop
Version: 2.13.1-1
Severity: grave
Installing the utop package leads to a non-working utop executable,
because it needs xdg. The libdune-ocaml-dev package provides xdg.
Installing the libdune-ocaml-dev package makes utop fail with:
Fatal error: exception
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
alt-ergo used to be free-as-in-Debian, and was packaged as such. Since
then it became non-free and the latest free version is obsolete.
I propose to remove the package from Debian ; according to dak there
Hi,
I do understand the technical request, but I don't think I can do that:
mnemosyne is a graphical application and uses matplotlib to create
graphs of user performance statistics... so I don't really see how to
get what you ask.
If you don't have a suggestion, I'll probably close that report
Le mercredi 21 juin 2023 à 22:56 +0200, Adrien Nader a écrit :
> On Wed, Jun 21, 2023, julien.pu...@gmail.com wrote:
> > Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit :
> > >
> > >
> > > The patch seems to fix the issue. I say "seem" because the build
> > > compiled the file that was
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ocaml-pp
Version : 1.1.2
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/ocaml-dune/pp
* License : expat
Programming
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-expect
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_expect
* License : expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-inline-test
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_inline_test
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ocaml-time-now
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/time_now
* License : expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-base
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_base
* License : expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-globalize
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_globalize
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-enumerate
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_enumerate
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: jst-config
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/jst-config
* License : expat
Le mardi 20 juin 2023 à 22:38 +0200, Adrien Nader a écrit :
>
>
> The patch seems to fix the issue. I say "seem" because the build
> compiled the file that was failing to build but the build is not done
> yet: emulated armhf isn't fast. :)
>
> But since I reprocued the build failure before, I
Hi,
Le mardi 20 juin 2023 à 15:35 +0200, Adrien Nader a écrit :
> I was looking at the migration for coq on Ubuntu and a build failure
> on armhf is preventing it.
>
> I expect that this issue is fixed by the following commit:
>
>
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: jane-street-headers
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/jane-street-headers
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: ppx-assert
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com/janestreet/ppx_assert
* License : expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, Debian OCaml Maintainers
, jpu...@debian.org
* Package name: ppx-cold
Version : 0.16.0
Upstream Contact: opensource-conta...@janestreet.com
* URL : https://github.com
Package: ftp.debian.org
Severity: normal
User: ftp.debian@packages.debian.org
Usertags: remove
X-Debbugs-Cc: c...@packages.debian.org,
debian-ocaml-ma...@lists.debian.org
Control: affects -1 + src:coq
Dear FTP Team,
Please remove all libcoq-ocaml-dev (binary) packages from unstable.
They
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
A new upstream version of aac-tactics is out ; it requires rebuilding a
depending package:
nmu
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
A new upstream version of coq-bignums is out ; it requires rebuilding
all depending packages:
nmu
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
A new upstream version of elpi is out ; it requires rebuilding all
depending packages:
nmu coq-elpi_1.16.0-1+b2
Hi,
Le mercredi 30 novembre 2022 à 00:30 +0100, Manuel A. Fernandez
Montecelo a écrit :
> Source: elpi
> Version: 1.16.7-2
> Severity: wishlist
> Tags: ftbfs patch
> User: debian-ri...@lists.debian.org
> Usertags: riscv64
> X-Debbugs-Cc: m...@debian.org, debian-ri...@lists.debian.org
>
> Hi,
>
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
A new upstream version of Coq is out ; it requires rebuilding all
depending packages (see below).
I'm waiting for
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-elpi ; it requires
rebuilding other packages:
nmu
Le dimanche 13 novembre 2022 à 19:08 +0100, Paul Gevers a écrit :
> Source: elpi
> Version: 1.16.5-1
> Severity: serious
> Control: close -1 1.16.7-2
> Tags: sid bookworm
> User: release.debian@packages.debian.org
> Usertags: out-of-sync
>
> Dear maintainer(s),
>
> The Release Team considers
Package: pyzo
Version: 4.11.2-1
Severity: grave
Launching pyzo displays the normal window, but the shell never comes up
and the editor pane never gets a prompt ; starting from a terminal
makes the following messages fly by continuously:
QBackingStore::endPaint() called with active painter; did
Package: ftp.debian.org
X-Debbugs-CC: Debian OCaml Maintainers
Please remove all binary packages depending on the already-removed
src:elpi package on the armhf architecture:
libcoq-elpi
libcoq-hierarchy-builder
coq-hierarchy-builder
libcoq-mathcomp-algebra-tactics
libcoq-mathcomp-analysis
Hi,
it looks like some binary packages for elpi still get in the way of
many migrations to testing:
- among the official ports, armhf has a 1.16.5-4 ;
- I see most other unofficial ports still have 1.16.5-1 -- except m68k
has a 1.16.5-2... all of those will probably be handled by the right
Package: ftp.debian.org
X-Debbugs-CC: Debian OCaml Maintainers
Please remove the binaries corresponding to src:elpi 1.16.5-1 (those
are elpi, libelpi-ocaml and libelpi-ocaml-dev).
The rationale is: upstream's 1.16.5 broke many architectures, and
1.16.5-1 showed the issue.
But since upstream
Package: ftp.debian.org
X-Debbugs-CC: pkg-games-de...@lists.alioth.debian.org
I packaged this years ago ; since then minetest got an internal api for
i18n that makes it useless.
Dak confirms it's not used in Debian:
$ ssh mirror.ftp-master.debian.org "dak rm -Rn minetest-mod-intllib"
Will remove
Package: wnpp
Severity: wishlist
X-Debbugs-Cc: jpu...@debian.org, debian-pyt...@lists.debian.org
* Package name: python-hatch-nodejs-version
Version : 0.3.0
Upstream Author : Angus Hollands
* URL : https://github.com/agoose77/hatch-nodejs-version
* License :
Hi,
Le mardi 11 octobre 2022 à 11:26 +0200, Stéphane Glondu a écrit :
>
> Le 11/10/2022 à 08:26, julien.pu...@gmail.com a écrit :
> > > > Could you package the latest upstream?
> >
> > I did as much as I could and I think I nailed it:
>
> Thank you for taking care of this.
>
> > ** packaging:
Hi,
Le jeudi 22 septembre 2022 à 14:44 +0200, Stéphane Glondu a écrit :
>
> Le 17/07/2022 à 10:17, julien.pu...@gmail.com a écrit :
> > Could you package the latest upstream?
I did as much as I could and I think I nailed it:
** packaging: ocaml-sexplib0 (protected on salsa)
new version
Package: unicode-data
Severity: wishlist
I would like to package a software (ocaml-uunf) whose compilation looks
like:
(1) download Unicode character database (big XML file) ;
(2) convert it to some format ;
(3) compile.
and I would like to use unicode-data to drop the problematic step (1).
Can
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org,
debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-uucp
Version : 15.0.0
Upstream Author : Daniel Bünzli
* URL : https://erratique.ch/software
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org,
debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-uunf
Version : 15.0.0
Upstream Author : Daniel Bünzli
* URL : https://erratique.ch/software
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org,
debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-uucd
Version : 15.0.0
Upstream Author : Daniel Bünzli
* URL : https://erratique.ch/software
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org,
debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-afl-persistent
Version : 1.3
Upstream Author : Stephen Dolan
* URL : https://github.com
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org,
debian-ocaml-ma...@lists.debian.org
* Package name: crowbar
Version : 0.2.1
Upstream Author : Stephen Dolan
* URL : https://github.com/stedolan
Hi,
Le mardi 04 octobre 2022 à 09:51 +0200, julien.pu...@gmail.com a
écrit :
>
> Le lundi 03 octobre 2022 à 22:04 +0200, julien.pu...@gmail.com a
> écrit :
> >
> > Is there something like this for OCaml packages?
> >
>
> It looks like ocaml-sexplib0's salsa repository is also protected, so
>
Hi,
Le lundi 03 octobre 2022 à 22:04 +0200, julien.pu...@gmail.com a
écrit :
>
> Is there something like this for OCaml packages?
>
It looks like ocaml-sexplib0's salsa repository is also protected, so I
can only do local experiments.
> PS: I should really clean my Coq script and put them
Hi,
Le jeudi 22 septembre 2022 à 14:46 +0200, julien.pu...@gmail.com a
écrit :
>
> I'll try to work on checking again what is needed to push to unstable
> when I find the time.
>
I found some time this evening ; but the problem I have is I don't know
how to handle deps correctly for OCaml
Package: ftp.debian.org
X-Debbugs-CC: debian-pyt...@lists.debian.org
I packaged this years ago when nice features of Python 3 needed a
backport to Python 2 ; those days are gone and we're moving away from
Python 2 with the next release of Debian, so this package should be
removed.
I checked with
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-hierarchy-builder ; it requires
rebuilding another package:
nmu
Hi,
Le dimanche 25 septembre 2022 à 15:49 +0200, Sebastian Ramacher a
écrit :
> Control: tags -1 confirmed
>
> On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> > Usertags:
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-simple-io ; it requires re-building
another package:
nmu
Hi,
Le jeudi 22 septembre 2022 à 14:44 +0200, Stéphane Glondu a écrit :
>
> I've changed the settings in salsa. Can you push, now?
>
Yes ; I pushed the package I pushed to experimental in salsa.
I'll try to work on checking again what is needed to push to unstable
when I find the time.
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Severity: wishlist
* Package name: ppx-hash
Version : 0.15.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Severity: wishlist
* Package name: mathcomp-abel
Version : 1.2.1
Upstream Author : Sophie Bernard, Cyril Cohen, Assia Mahboubi,
Pierre-Yves Strub
* URL
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
There are new versions of two Coq-related packages ; that makes a four-
packages transition:
nmu
Le samedi 10 septembre 2022 à 12:12 +0200, Sebastian Ramacher a écrit :
>
> The rebuild are now done, but there are some autopkgtest regressions.
> They all look like
> https://ci.debian.net/data/autopkgtest/testing/amd64/c/coq-iris/25883605/log.gz
> .
> Are there some packages that lack the
Hi
Le sam. 10 sept. 2022 à 14:00, Sebastian Ramacher a
écrit :
>
> coq-stdpp can be installed with any coq version. That will need fixing.
>
The coq version is a non-issue: the libcoq-stdlib dep should already cover
that. I'll look into why it doesn't.
Cheers
J.Puydt
>
Hi
Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a
écrit :
>
> The rebuild are now done, but there are some autopkgtest regressions.
> They all look like
>
> https://ci.debian.net/data/autopkgtest/testing/amd64/c/coq-iris/25883605/log.gz
> .
> Are there some packages that lack the proper
Hi
Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher a
écrit :
> On 2022-09-06 10:56:14 +0200, julien.pu...@gmail.com wrote:
> > Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit :
> > > Control: tags -1 confirmed
> > >
> > > Please go ahead and let me know once you're done
Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit :
> Control: tags -1 confirmed
>
> Please go ahead and let me know once you're done with all the
> uploads.
"dput *_source.changes" in the directory where I prepared the new
uploads just finished.
Thanks,
J.Puydt
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
I would like to upload coq 8.16.0+dfsg-1 to unstable ; that also means
uploading a number of new versions for
Le lundi 05 septembre 2022 à 08:28 +1000, Brian May a écrit :
> On Wed, Aug 03, 2022 at 12:22:32PM +0200,
> julien.pu...@gmail.com wrote:
> > I'm sorry, but I don't see why you think this is a problem with
> > setuptools-scm.
> >
> > sshuttle's debian/rules asks setuptools-scm to generate a
Hi,
since mathcomp-analysis got upgraded from 0.5.2-2 to 0.5.3-1, the new
wanna-build information is :
nmu mathcomp-analysis_0.5.3-1 . ANY . -m 'Rebuild due to new mathcomp-
finmap 0.5.2-1'
dw mathcomp-analysis_0.5.3-1 . ANY . -m 'mathcomp-finmap => 0.5.2-1'
nmu mathcomp-multinomials_1.5.5-8
Le jeudi 11 août 2022 à 09:16 +0100, Julian Gilbey a écrit :
>
> And I thought it would be easy... It seems something in the
> toolchain has changed since ipykernel was last built: it's now
> including COPYING.md in the dist-info directory and lintian is
> complaining about this. It's not
Hi,
Le mercredi 10 août 2022 à 20:32 +0100, Julian Gilbey a écrit :
>
> I'm happy to do this as a team upload, but equally happy if one of
> you wants to (as the named Uploaders).
If you have the commits at the ready, it's simpler for you to proceed.
Thanks!
J.Puydt
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
Hi,
I would like to upload src:mathcomp-finmap 1.5.2-1 to unstable ; that
means a few other packages will need a recompilation or they'll be
Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: wishlist
Hi,
upstream released version 4.5 less than a month ago:
https://github.com/ProofGeneral/PG/tags
would it be possible to update the package?
Thanks,
J.Puydt
Le dimanche 07 août 2022 à 21:15 +0200, Sebastian Ramacher a écrit :
> On 2022-08-07 11:01:30 +0200, julien.pu...@gmail.com wrote:
> > Hi,
> >
> > Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit :
> > > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote:
> > > > Package:
Hi,
Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit :
> On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote:
> > Package: release.debian.org
> >
> > Some Coq-related packages need a rebuild:
> >
> > coq-hierarchy-builder
> > mathcomp-algebra-tactics mathcomp-analysis
> >
1 - 100 of 1271 matches
Mail list logo
