Hi,
Le jeu. 13 mars 2025, 17:29, Emilio Pozuelo Monfort a
écrit :
> On 13/03/2025 17:21, Julien Puydt wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> > Usertags: transition
> > X-Debbugs-Cc: j
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-elpi, coq-quickchick, coq-simple-io and
coqeal are out ; they require rebuilding all
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-elpi is out ; it requires rebuilding all
depending packages, and updating some of the
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
, jpu...@debian.org
* Package name: metacoq
Version : 1.3.4-8.20
Upstream Author : (fourteen people)
* URL : https://github.com/MetaCoq/metacoq
* License : Expat
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, and updating some of them (se
Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit :
>
> I'm now asking for help from other maintainers to improve the
> situation!
I found the time to work on the coq-doc problem ; I made a few
modifications which improve matters, but it's still not compiling and
I'm a bit stuck be
Hi,
Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit :
>
> I've rebuilt all (relevant) packages with this new version; the
> results are available at the following address:
>
> http://ocaml.debian.net/transitions/ocaml-5.3.0/
For some of them I have clues :
- coq-unimath is
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
A new coq-ext-lib version is out and two other packages need to be
recompiled. I checked them locally so I'm sure this transition will ru
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
A new elpi version is out and a few other packages need to be updated.
I checked the whole set of depending packages to update or recompi
Le jeudi 05 décembre 2024 à 19:09 +0100, Jochen Sprickerhof a écrit :
> * Julien Puydt [2024-12-05 18:52]:
> > And my point is that I created it with mmdebstrap as per the wiki
> > instructions and updated it with sbuild-update as per the wiki
> > instructions,
>
>
Hi
Le jeu. 5 déc. 2024, 18:18, Jochen Sprickerhof a
écrit :
>
> My point is that you should not use sbuild-update but just mmdebstrap to
> create a new chroot.
>
And my point is that I created it with mmdebstrap as per the wiki
instructions and updated it with sbuild-update as per the wiki
inst
Le jeudi 05 décembre 2024 à 17:30 +0100, Jochen Sprickerhof a écrit :
> Hi Julien,
>
> * Julien Puydt [2024-12-05 17:17]:
> > I updated my chroot two hours ago ; then I couldn't use it anymore,
> > so
> > I tried to update it again :
> >
> > $ sbuild-
Package: sbuild
Version: 0.87.1
Severity: normal
I updated my chroot two hours ago ; then I couldn't use it anymore, so
I tried to update it again :
$ sbuild-update --chroot-mode=unshare --update --dist-upgrade --
autoremove -d unstable
Use of uninitialized value $dist in pattern match (m//) at
/
Hi
Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort a
écrit :
> On 16/11/2024 15:43, Julien Puydt wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> > Usertags: transition
> > X-Debbugs-CC: de
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
Coq version 8.20 has been out since the beginning of september. I
prepared a coherent set of versions for the whole Coq-in-Debian set of
Hi,
I just tried to "sbuild -d unstable traitlets" and it compiled fine...
so I'm wondering if the failure you reported is reproducible on your
side.
Cheers,
J.Puydt
Hi,
Le jeudi 15 août 2024 à 21:52 +0200, Paul Gevers a écrit :
>
> On 13-08-2024 08:03, Stéphane Glondu wrote:
> > Howevever, many of them are related to the fact that i386
> > and armhf are no longer native (ocaml 5 dropped support for native
> > compilation on 32-bit architectures), hence the
Hi,
Le lundi 12 août 2024 à 12:43 +0200, Stéphane Glondu a écrit :
> Source: coq-elpi
> Version: 2.1.0-1
> Severity: serious
> Tags: ftbfs
> User: debian-ocaml-ma...@lists.debian.org
> Usertags: ocaml-5.2.0-transition
>
> Dear Maintainer,
>
> Your package FTBFS with OCaml 5.2.0 on ppc64el:
>
>
Hi,
Le jeudi 20 juin 2024 à 08:59 +0200, Stéphane Glondu a écrit :
>
> Out of these 60 packages:
> - 7 have exhausted allocated resources (orange)
> - 1 seems obsolete (pink)
> - 8 depend on a missing packages (white)
> - 44 are in direct front line; I've submitted bug reports for them
>
> > Of
Hi,
Le mardi 18 juin 2024 à 11:12 +0200, Stéphane Glondu a écrit :
> Le 18/06/2024 à 09:58, julien.pu...@gmail.com a écrit :
> > - coq-unimath - host couldn't take it, I'll have to try myself
It's a green light!
JP
Hi,
Le mardi 18 juin 2024 à 11:12 +0200, Stéphane Glondu a écrit :
> Le 18/06/2024 à 09:58, julien.pu...@gmail.com a écrit :
> > Just a quick rundown for now :
> > - coq-doc fails but not coq... strange... needs to investigate
>
> This is due to new warnings treated as error, the default behaviou
Le mardi 18 juin 2024 à 09:31 +0200, Stéphane Glondu a écrit :
> Le 17/06/2024 à 07:47, julien.pu...@gmail.com a écrit :
> > > - elpi/ssreflect: Julien, can you have a look?
> > >
> >
> > I just checked: the elpi I uploaded yesterday compiles - the
> > breakage
> > was #1073275, not the new OCaml
Package: libuv1t64
Version: 1.48.0-4
Severity: serious
Affects: ocaml-luv
While updating the ocaml-luv package, I stumbled upon missing symbols
for uv_wtf8_length_as_utf16, uv_wtf8_to_utf16, uv_utf16_length_as_wtf8
and uv_utf16_to_wtf8.
After some poking around, they are declared in /usr/include
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
Severity: wishlist
* Package name: ppxlib-jane
Version : 0.17.0
Upstream Contact: Jane Street Group, LLC
* URL : https://github.com/janestreet
Le dimanche 16 juin 2024 à 07:36 +0200, Stéphane Glondu a écrit :
>
> - elpi/ssreflect: Julien, can you have a look?
>
I just checked: the elpi I uploaded yesterday compiles - the breakage
was #1073275, not the new OCaml.
Your scripts should be able to progress on Coq-related packages quite
nic
Hi,
Le dimanche 16 juin 2024 à 07:36 +0200, Stéphane Glondu a écrit :
> Source: ocaml
> Severity: normal
> User: debian-ocaml-ma...@lists.debian.org
> Usertags: ocaml-5.2.0-transition
>
> Hi all,
>
> As you may have seen from my recent commits and uploads, I've started
> to prepare the transitio
Hi,
Le samedi 15 juin 2024 à 16:43 +0200, Johannes Schauer Marin Rodrigues
a écrit :
>
> Quoting Johannes Schauer Marin Rodrigues (2024-06-15 14:03:34)
> >
> > Julien, do you want to take care of that rebuild or should I?
>
Sorry I was away for most of the weekend, but yes, I didn't test my
la
Hi,
I made a few more tests and found out it only happened in fullscreen
mode: no problem in window mode.
Cheers,
J.Puydt
Package: evince
Version: 46.3-1
Severity: important
Since a few days I noticed (but the problem could be weeks old before I
noticed), evince crashes when it displays a pdf that is being re-
compiled from latex.
It is a beamer in presentation view, in case it matters - but obviously
reproducing th
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 contai
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 o
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 ssreflect
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: FT
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 w
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 n
bug #1052826 (broken 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 h
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
> > coherent
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 Team
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 + src:setuptools
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 nee
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 tha
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 build
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
need
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
>
> https://launchpadlibrarian.net/699029680/coq_8.17.0+dfsg-1build4_8.17.0+dfsg-1ubuntu1.
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 mo
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 "Rep
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 binar
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 complet
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 s
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 inc
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 ge
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 Fl_package_base.No_such_pack
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 i
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 in
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 a
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:
>
> https://github.com/UniMath/UniMath/commit/1716c078b00c18dcabf63f
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 co
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 coq-relation-algeb
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 coq-math-classe
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 coq-hierarchy-builder_1.4.0-
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 yo
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
So
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
team,
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 : Exp
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 0.1
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
1 - 100 of 1079 matches
Mail list logo
