Package: libjs-mathjax
Version: 2.7.9+dfsg-1
Severity: wishlist
I see upstream released 3.20 and I have a package with privacy breaches
because it looks outside for mathjax files which are not in the current
version: can you update the package to a newer version?
Thanks,
J.Puydt
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-finmap
Version : 1.5.1
Upstream Author : Cyril Cohen
* URL : https://github.com/math-comp/finmap
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-bigenough
Version : 1.5.1
Upstream Author : Cyril Cohen
* URL : https://github.com/math-comp
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-analysis
Version : 0.3.13
Upstream Author : Reynald Affeldt, Cyril Cohen, Assia Mahboubi,
Damien Rouhling
Le jeudi 10 février 2022 à 16:20 +0100, Yadd a écrit :
> On 10/02/2022 15:38, Yadd wrote:
> > Package: node-csstype
> > Version: 3.0.10-1
> > Severity: grave
> > Justification: renders package unusable
> >
> > debian/rules launches `ts-node --files build.ts --start` which
> > (only)
> > modifies
Hi,
Le mar. 18 janv. 2022 à 13:54, Caleb Adepitan a
écrit :
>
> Source: lumino
> Version: 2021.12.13-1
> Severity: important
> Tags: ftbfs
> User: pkg-javascript-de...@alioth-lists.debian.net
> Usertags: webpack5
>
> We are starting to build against webpack5 in experimental and the
> package
Hi,
upstream didn't release a new version with support for camlp5 8.* ; but
they have a patch here:
https://github.com/LPCIC/elpi/pull/110/commits/f58341831b56ccfe5f2f49158c600e4e36bcb9b5
so I should be able to fix the problem as soon as it actually occurs.
Cheers,
J.Puydt
Hi,
now camlp5 8.* is in unstable the problem occurs ; I'm just waiting for
the other b-deps to be available, but I have a commit ready.
Cheers,
J.Puydt
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers
* Package name: pstm2-frontend
Version : 0.4.0
Upstream Author : Albin Coquereau
* URL : https://github.com/ACoquereau/psmt2-frontend
* License : Apache-2
Package: pitivi
Version: 2021.05-1
Severity: grave
Just launching it after install gives:
Missing soft dependency:
- GSound not found on the system
-> enables sound notifications when rendering is complete
Traceback (most recent call last):
File
Package: openshot-qt
Version: 2.6.1+dfsg1-1
Severity: grave
I just installed the software, launched "openshot-qt" and got a crash.
I'll put the result of "openshot-qt 2>&1 |tee /tmp/log" at the end of
this mail.
Cheers,
J.Puydt
Here is /tmp/log:
Warning: Ignoring XDG_SESSION_TYPE=wayland on
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
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
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: 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: 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: 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: 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
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
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 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
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
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
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: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: mathcomp-zify
Version : 1.2.0+1.12+8.13
Upstream Author : Kazuhiko Sakaguchi
* URL : https://github.com/math-comp/mczify
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: mathcomp-algebra-tactics
Version : 0.3.0
Upstream Author : Kazuhiko Sakaguchi
* URL : https://github.com/math-comp/algebra-tactics
Hi,
I wanted to push things a little further, and hence tried to get the
salsa repository ; I couldn't get very far, because d/control lists
quite a few non-existing packages:
- node-blueprintjs-core ;
- node-blueprintjs-select ;
- node-fortawesome-fontawesome-free.
By non-existing, I mean
Package: python3-venv
Version: 3.10.4-1
I tried to take upstream jupyter-packaging (I'm trying to package
it...). I installed all deps:
Build-Depends: debhelper-compat (= 13),
dh-python,
python3-all,
python3-build ,
python3-deprecation,
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: jpu...@debian.org, debian-ocaml-ma...@lists.debian.org
This package has been abandoned upstream for years (last release tagged 2 Dec
2019).
It's in FTBFS since years (bug #970453, filed Wed, 16 Sep 2020 17:19:03 +0200).
I proposed its
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: coq-serapi
Version : 0.15.0
Upstream Author : Emilio Jesús Gallego Arias et al
* URL : https://github.com/ejgallego/coq-serapi
Le vendredi 13 mai 2022 à 11:18 +0200, Heinrich Schuchardt a écrit :
> On 5/12/22 17:17, julien.pu...@gmail.com wrote:
> >
> > I propose to add the following patch to my package:
> >
> > Description: make the package return a PEP440-compatible version
> >
Le jeudi 12 mai 2022 à 15:20 +0200, Heinrich Schuchardt a écrit :
> On 5/12/22 14:55, julien.pu...@gmail.com wrote:
>
> > Let me ask bluntly: how is it a problem?
>
> $ python3
> >>> import cheroot
> >>> print cheroot.__version__
> 8.6.0+ds1
> >>> from distutils.version import StrictVersion
>
> > You could patch this line to solve the problem:
> > >
> > > cheroot/__init__.py:13:
> > > __version__ = pkg_resources.get_distribution('cheroot').version
> >
> > Ok, distutils is unhappy, but:
> >
> > 1. distutils is obsolete: https://peps.p
Package: python3-djangorestframework
Version: 3.12.4-2.2
Severity: important
Affects: python3-django-colorfield
Block: 1013486
the reason why python3-django-colorfield FTBFS in #1013486 is:
> ImportError: Failed to import test module: tests.test_serializers
> Traceback (most recent call last):
>
Package: ftp.debian.org
X-Debbugs-CC: debian-science-maintain...@lists.alioth.debian.org
The pynac package was in Debian for sagemath, and sagemath recently
merged pynac, so that pynac isn't needed anymore.
And by merged I really don't mean vendored: the pynac project itself
has been merged into
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-stdpp
Version : 1.7.0
Upstream Author : std++ team
* URL : https://gitlab.mpi-sws.org/iris/stdpp
* License : BSD-3-clause
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-equations
Version : 1.3-8.15
Upstream Author : Matthieu Sozeau and Cyprien Mangin
* URL : https://github.com/mattam82/Coq-Equations
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-simple-io
Version : 1.7.0
Upstream Author : Li-yao Xia
* URL : https://github.com/coq-community/coq-simple-io
* License : Expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian Math Team , jpu...@debian.org
* Package name: eprover
Version : 2.6
Upstream Author : Stefan Schulz
* URL : https://eprover.org
* License : LGPL-2.1+
Programming Lang: C
Description
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: flocq
Version : 4.1.0
Upstream Author : Sylvie Boldo, Guillaume Melquiond
* URL : https://flocq.gitlabpages.inria.fr/
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: ott
Version : 0.32
Upstream Author : Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al
* URL : https://github.com/ott-lang/ott
Package: libatd-ocaml-dev
Version: 2.4.1-1
Severity: wishlist
I need ocaml-atd version 2.9.1 to update the elpi package.
For this, I need a more recent jsonschema which we should get only in
september.
This report is to leave a trail of this information.
Cheers,
J.Puydt
Package: python3-jsonschema
Version: 3.2.0-5
Severity: wishlist
I would need an updated python-jsonschema to update ocaml-atd in the
Debian OCaml Team ; there's a 4.6.0-1 in experimental already, and
after asking around, it will hit unstable only in september.
This report is to keep track of
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-menhirlib
Version : 20220210
Upstream Author : Jacques-Henri Jourdan
* URL : https://coquelicot.inria.fr/fpottier/menhir
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-hott
Version : 8.15
Upstream Author : Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael
Shulman, Bas Pitters
* URL : https
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-ext-lib
Version : 0.11.6
Upstream Author : Gregory M. Malecha
* URL : https://github.com/coq-community/coq-ext-lib
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coqeal
Version : 1.1.0
Upstream Author : Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg,
Vincent Siles
* URL : https
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-math-classes
Version : 8.15.0
Upstream Author : Eelis van der Weegen, Bas Spitters, Robbert Krebbers
* URL : https://github.com/coq
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: ocaml-pprint
Version : 20220103
Upstream Author : François Pottier, Nicolas Pouillard, etc
* URL : https://github.com/fpottier/pprint
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian Math Team , jpu...@debian.org
* Package name: gappa
Version : 1.4.0
Upstream Author : Guillaume Melquiond
* URL : https://gappa.gitlabpages.inria.fr
* License : GPL-3
Programming Lang
Hi,
it is in fact a curl issue :
https://bugs.launchpad.net/ubuntu/+source/python-tornado/+bug/1975527
This report is a duplicate of #1011696.
I thought I had already reported to the curl maintainers, but the
corresponding curl bug is #1012263, very recent and hasn't the right
priority.
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-reglang
Version : 1.1.3
Upstream Author : Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
* URL : https://github.com/coq-community
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-unimath
Version : 20220204
Upstream Author : Benedikt Ahrens, Daniel Grayson, Vladimir Voevodsky
* URL : https://github.com/UniMath
Hi,
I'm still working on the package ; I'm mostly stuck because there are
incoherent licensing issues:
https://github.com/ejgallego/coq-serapi/issues/266
Cheers,
J.Puydt
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-unicoq
Version : 1.6-8.15-1
Upstream Author : Beta Ziliani & Matthieu Sozeau
* URL : https://github.com/unicoq/unicoq/
* Lic
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-relation-algebra
Version : 1.7.7
Upstream Author : Damien Pous et al
* URL : http://perso.ens-lyon.fr/damien.pous/ra
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-quickchick
Version : 1.6.3
Upstream Author : Leonidas Lampropoulos, Zoe Paraskevopoulou, Maxime Denes,
Catalin Hritcu, Benjamin Pierce, Li-yao Xia
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-deriving
Version : 0.1.0
Upstream Author : Arthur Azevedo de Amorim
* URL : https://github.com/arthuraa/deriving
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-mtac2
Version : 1.4+8.15
Upstream Author : Jan-Oliver Kaiser and Beta Ziliani
* URL : https://github.com/Mtac2/Mtac2
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-reduction-effects
Version : 0.1.3
Upstream Author : Hugo Herbelin
* URL : https://github.com/coq-community/reduction-effects
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-extructures
Version : 0.3.1
Upstream Author : Arthur Azevedo de Amorim
* URL : https://github.com/arthuraa/extructures
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-record-update
Version : 0.3.1
Upstream Author : Tej Chajed
* URL : https://github.com/tchajed/coq-record-update
* License
Package: libppxlib-ocaml-dev
Version: 0.24.0-1
Severity: wishlist
Could you package the latest upstream?
I tried to do a team upload to experimental so britney could tell us
what would break, but apparently there are protected branches so I
can't push to git.
Thanks,
J.Puydt
Hi,
I can confirm the problem, but since libflint-dev is in the source
package Build-Depends: and the binary package Depends: does mention
${shlibs:Depends}, I'm pretty clueless on how that happens...
Cheers,
J.Puydt
Hi,
I'm giving a second look at your problem. What I don't get is why you
get a link-time error for a function that should have been missing at
compile-time already.
I put your sample code in essai.cc then compiled in two stages:
$ g++ -Wall -c -o essai.o essai.cc (compilation)
$ g++
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-iris
Version : 3.6.0
Upstream Author : iris developers and contributors
* URL : https://gitlab.mpi-sws.org/iris/iris
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coqprime
Version : 8.15
Upstream Author :
* URL : https://github.com/thery/coqprime/
* License : LGPL-2.1
Programming Lang: C
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-libhyps
Version : 2.0.5
Upstream Author : Pierre Courtieu
* URL : https://www.github.com/Matafou/LibHyps
* License : Expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-gappa
Version : 1.5.2
Upstream Author : Guillaume Melquiond
* URL : https://gappa.gitlabpages.inria.fr
* License : LGPL-3
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-corn
Version : 8.13.0
Upstream Author : Bas Spitters (maintainer)
* URL : https://github.com/coq-community/corn
* License : GPL
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-hammer
Version : 1.3.2+8.15
Upstream Author : Lukas Czajka, Cesary Kaliszyk
* URL : https://coqhammer.github.io
* License
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-interval
Version : 4.5.1
Upstream Author : Guillaume Melquiond et al
* URL : https://coqinterval.gitlabpages.inria.fr/
* License
Package: z3
Version: 4.8.12-1
Severity: wishlist
A few new versions have been published by upstream ; can you update the
Debian package?
Thanks,
J.Puydt
Package: z3
Version: 4.8.12-1
Severity: wishlist
I would need z3_tptp for the Coq ecosystem ; I now the opam
distribution builds it without upstream's make system with the
following code, in case that helps:
build: [
[ "g++"
"-I./src/api/c++"
"-I./src/api"
"-std=c++11"
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-dpdgraph
Version : 1.0+8.15
Upstream Author : A.Pacalet, Y.Bertot, O.Pons
* URL : https://github.com/coq-community/coq-dpdgraph
Le lundi 02 mai 2022 à 18:54 +0200, Roland Mas a écrit :
> Updated status report:
>
> Le 26/04/2022 à 17:20, Roland Mas a écrit :
> > Le 25/04/2022 à 12:45, Roland Mas a écrit :
> >
> > > I've been delayed for a while, but I'm back on track. I'll
> > > push/upload a big handful of packages,
Hi,
I wanted to push node-xterm towards version 4, but I saw bug report
#980406 about needing node-node-pty, so I tried my hand on the salsa
repository for this would-be package.
I managed to fix a few things, but I'm stuck on the last hurdle and
upstream is proving pretty uncooperative:
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: paramcoq
Version : 1.1.3
Upstream Author : Pierre Roux
* URL : https://github.com/coq-community/paramcoq
* License : Expat
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: coquelicot
Version : 3.2.0
Upstream Author : S.Boldo, C.Lelay and G.Melquiond
* URL : https://coquelicot.saclay.inria.fr
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: coq-bignums
Version : 8.15.0
Upstream Author : Laurent Théry, Benjamin Grégoire, Arnaud Spiwack, Evgeny
Makarov and Pierre Letouzey
* URL
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: mathcomp-multinomials
Version : 1.5.5
Upstream Author : Pierre-Yves Strub
* URL : https://www.github.com/mathcomp/multinomials
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name: mathcomp-real-closed
Version : 1.1.2
Upstream Author : Cyril Cohen and Assia Mahboubi
* URL : https://github.com/math-comp/real
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 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
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
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 :
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
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
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
>
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
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: 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
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
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
1101 - 1200 of 1282 matches
Mail list logo
