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++ -Wal
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-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-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-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"
"-L%{lib}
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-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
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-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-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-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
Package: release.debian.org
Some Coq-related packages need a rebuild:
coq-hierarchy-builder
mathcomp-algebra-tactics mathcomp-analysis
where packages on the same line can be handled in parallel.
I can't give a nice ben script because the abi checksum varies with the
architecture (see today's ma
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.
Cheers
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-django-cache-machine
Version : 1.1.0
Upstream Author : Jeff Balogh
* URL :
https://github.com/django-cache-machine/django-cache-machine
* License : BSD-3-clause
Programming Lang
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-django-colorfield
Version : 0.3.0
Upstream Author : Fabio Caccamo
* URL :
https://github.com/fabiocaccamo/django-colorfield
* License : Expat
Programming Lang: Python
Description
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-django-ical
Version : 1.7.0
Upstream Author : Ian Lewis
* URL :
https://github.com/jazzband/django-ical
* License :
Programming Lang: Python
Description : Calendar feeds for
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-django-import-export
Version : 2.2.0
Upstream Author : Bojan Mihelac and contributors
* URL :
https://github.com/django-import-export/django-import-export
* License : BSD-2-clause
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-pyclustering
Version : 0.9.3.1
Upstream Author : Andrei Novikov
* URL :
https://github.com/annovikov/pyclustering
* License : GPL-3
Programming Lang: Python
Description : Data
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
* Package name: python-django-debug-toolbar
Version : 2.2
Upstream Author : Rob Hudson and contributors
* URL :
https://github.com/jazzband/django-debug-toolbar
* License : BSD-3-clause
Programming Lang
Hi,
sorry I didn't find the time to answer faster.
Le mardi 09 juin 2020 à 15:35 -0400, Boyuan Yang a écrit :
> During a local rebuild of your package, it seems that package scilab
> currently FTBFS against new version of libicu library:
>
> ==
> In file included from /usr/in
Package: python-pulp
Version: 1.6.0+dfsg1-5
I installed python3-pulp to work on (and maybe use) https://flopedt.org
- and a few solvers (glpk and cbc), but that didn't work : pulptest
shows them as unavailable.
Cheers,
JP
Package: python-pulp
Version: 1.6.0+dfsg1-5
Severity: wishlist
Several new upstreams have been released, but since they put a 'v' in
front of the versions, I guess uscan didn't see them...
Cheers,
JP
Hi,
I have a use for coinor-cbc.
I'm already a member of the Debian Science team, so I'm able to
contribute to the git repository directly.
Cheers,
JP
Package: node-config
Version: 3.3.7-1
Severity: serious
Tags: ftbfs
While rebuilding your package with an unstable sbuild, it failed at six
points in the upstream test suite, with the same error:
» An unexpected error was caught: TypeError: Cannot set
property offset of [object Object] wh
Package: node-base64url
Version: 3.0.1-7
Severity: serious
Tags: ftbfs
Trying to build the package in an unstable sbuild, the upstream test
suite fails because it doesn't find a 100% coverage:
ERROR: Coverage for lines (97.22%) does not meet global threshold
(100%)
ERROR: Coverage for branches (75
Package: node-configurable-http-proxy
Version: 4.5.0+~cs15.1.4-3
Severity: serious
Tags: ftbfs
Building the package in an unstable sbuild, I get failures:
Randomized with seed 97263
Started
..F...06:23:50.587 [ConfigProxy]
ESC[31merrorESC[39m: 404 GET /nope
06:23:50.860 [C
Package: node-ignore
Version: 5.2.0-1
Severity: serious
Tags: ftbfs
Building the package in an unstable sbuild, I get:
ERROR: Coverage for lines (92.3%) does not meet global threshold (100%)
ERROR: Coverage for functions (91.66%) does not meet global threshold
(100%)
ERROR: Coverage for branches (
Package: node-https-proxy-agent
Version: 5.0.0+~cs8.0.0-3
Severity: serious
Tags: ftbfs
Trying to rebuild the package in an unstable sbuild gives the following
failure in upstream test suite:
1) HttpsProxyAgent
"http" module
should receive the 407 authorization code on the
`http.
Package: node-immutable
Version: 4.0.0-2
Severity: serious
Tags: ftbfs
Trying to build the package in an unstable sbuild, I get the following
failure:
+ NODE_PATH=node_modules:/usr/share/nodejs jest --ci
__tests__/ArraySeq.ts
Error
at Function.missingTransform
(/usr/share/nodejs/buble/dist/bub
Package: node-recast
Version:
Severity: serious
Tags: ftbfs
Trying to build the package in an unstable sbuild, I get the following
failure:
1) TypeScript
basic printing:
SyntaxError: Initializers are not allowed in ambient contexts.
(2:27)
at instantiate (node_modules/@babel/p
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 G
Le vendredi 10 juillet 2020 à 19:18 +0300, Dmitry Shachnev a écrit :
> Source: setuptools-scm
> Version: 3.4.3+really3.3.3-5
> Severity: wishlist
>
> Dear Maintainers,
>
> The latest version of Python-Keyring requires setuptools-scm >=
> 3.4.1.
> However the real version is now 3.3.3.
>
> I don't
Hi
Le dim. 26 juil. 2020 à 20:15, Sandro Tosi a écrit :
> Source: mnemosyne
> Version: 2.7.2+ds1-1
> Severity: normal
> Tags: sid bullseye
> User: debian-pyt...@lists.debian.org
> Usertags: py2removal
>
I'll take care of this next week.
Cheers,
JP
>
Package: node-tslib
Version: 1.11.2-1
Upstream released 2.0.1, and node-ast-types requires that version ; can
you package it?
Thanks,
JP
Package: node-typescript-types
Version: 20200808-1
Severity: important
I'm trying to update the node-ast-types packages, but fail for various
reasons ; one of them is that node-typescript-types ships
@types/micromatch which depends on @types/braces, but doesn't ship
@types/braces.
I checked that
Ok, I dug some more, and found the package lacks (first level) :
- @types/parse5 and @types/tough-cookie for @types/lodash
- @types/braces for @types/micromatch
- @types/sinonjs__fake-timers for @types/sinon
and I checked on DefinitelyTyped's repository that there are no higher
level deps : wit
Package: node-tough-cookie
Version: 3.0.0-1
Please add the type definitions from DefinitelyTyped to the package :
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/tough-cookie
Cheers,
JP
Package: node-jsdom
Version: 16.2.2+~cs56.12.24-1
Please add the type definitions for parse5 from DefinitelyTyped to the
package:
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/parse5
Thanks,
JP
Package: node-braces
Version: 3.0.2-2
Please add typescript type definitions from DefinitelyTyped to the
package:
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/braces
Thanks,
JP
Package: node-sinon
Version: 9.0.1+ds-1
Please add the type definitions from DefinitelyTyped to the package ;
both direct :
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/sinon
and indirect :
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/sinonjs__f
Package: python-prometheus-client
Version: 0.7.1-1.1
Severity: wishlist
Hi,
a new upstream is available, already used in sagemath's upstream ; so
we would need a newer version.
Thanks,
JP
Package: python-setuptools
Version: 44.1.1-1
Severity: wishlist
Hi,
upstream is up to 49.6.0 now : can you update the package?
Thanks,
JP
Hi,
I reported the issue to upstream 11 days ago :
https://github.com/wbhart/flint2/issues/771
JP
Hi,
I think your report strange : using #!/usr/bin/env python as a shebang
shouldn't really solve the issue : it points to Python 2 !
The Fedora script is interesting : I should have a look.
Thanks!
JP
Hi,
I'm not sure I understand what you want, as you didn't make sentences.
As far as I know upstream isn't defunct, and I already package the last
real version (unstable = not released).
Can you clarify your report?
Thanks,
JP
Hi,
I forwarded the problem upstream :
https://github.com/wbhart/flint2/issues/699
I'll update the package when a fix will be available.
Thanks for you report : a problem notification with a simple test case,
it's just wonderful!
Cheers,
JP
Le samedi 09 mai 2020 à 09:04 -0300, David Bremner a écrit :
> Julien Puydt writes:
>
> > I forwarded the problem upstream :
> >
> > https://github.com/wbhart/flint2/issues/699
> >
> > I'll update the package when a fix will be available.
> >
>
Le samedi 09 mai 2020 à 09:19 -0300, David Bremner a écrit :
> Julien Puydt writes:
>
> > Well, that will be something to check when we'll have a fixed
> > package
> > (be it with a patch or a new upstream version).
> >
> > And if it doesn&#x
Hi,
I tried the sample code, and it worked well:
(sid_mipsel-dchroot)jpuydt@eller:~$ ./hypergeom
hypergeom(5.50e+00, 2.279935e+00)=8.363951e-07
(sid_mipsel-dchroot)jpuydt@eller:~$ ./hypergeom 0.6 0.5
hypergeom(6.00e-01, 5.00e-01)=9.166128e-01
(sid_mipsel-dchroot)jpuydt@eller:~$ ./hy
Hi,
upstream has tried to provide a fix for your problem on their latest
trunk branch : would you be able to give it a try?
Thanks,
JP
Hi,
Le vendredi 15 mai 2020 à 09:52 +0200, Thibaut Paumard a écrit :
> Thanks for looking into this.
Flint has a good upstream, you made a good report : it's surprising the
problem isn't down already ;-)
> Le 14/05/2020 à 21:43, Julien Puydt a écrit :
> > Hi,
> >
Hi,
Le vendredi 15 mai 2020 à 19:05 +0200, Thibaut Paumard a écrit :
> Le 15/05/2020 à 11:07, Julien Puydt a écrit :
> > It should, but since I haven't been able to reproduce your problem
> > on
> > eller.debian.org...
> >
>
> Interesting. I just re-comp
retitle 721197 ITP: minetest-mod-technic -- Minetest module for
extensive machinery
owner 721197 jpu...@debian.org
thanks
I am trying to package this for Debian.
For this reason, I already asked upstream to clarify the versioning :
https://github.com/minetest-mods/technic/issues/541
and started o
Package: wnpp
Severity: wishlist
* Package name: minetest-mod-throwing-arrows
Version : 1.1
Upstream Author : Eurythmia team
* URL : https://github.com/minetest-mods/throwing_arrows
* License : MPL-2.0
Programming Lang: lua
Description : Minetest mod - T
Hi,
I just had a look in d/control, and didn't see where the Python 2 dep
could come from...
If you have a clue, that would help...
JP
Hi,
On 25/04/2019 10:55, Alastair McKinstry wrote:
> Source: node-unicode-data
> Version: 0~20181101+gitaddfb440-1
> Severity: serious
> Justification: Policy 4.2
>
> node-unicode-data FTBFS with unicode-data 12.0.0 and needs to be updated.
>
There is a newer version in NEW which is supposed to
Package: mawk
Version: 1.3.4.20200120-2
Hi,
I have a package where mawk can't be used instead of gawk ; here is the
shell script with the problematic command :
https://gitlab.com/freedroid/freedroid-src/-/blob/master/po/update-potfiles
I see three outcomes to this report :
- find there's a bug
Le jeudi 20 février 2020 à 05:04 -0500, Thomas Dickey a écrit :
> The referenced script uses "asort", which is a gawk extension (rather
> than, for instance, being a POSIX feature). It's not part of BWK
> (one-true-awk), either.
>
> According to the bug-reporting guidelines, that makes this a fea
Package: python3-cysignals-pari
Version: 1.10.2+ds-3
Hi,
while building pplpy, I noticed the following warning:
I: dh_python3 pydist:228: Cannot find package that provides cysignals.
Please add package that provides it to Build-Depends or add "cysignals
python3-cysignals" line to debian/py3dist-
Hi,
it looks more like a doxygen 1.8.16 bug than a pplpy issue, isn't it?
If that is so, then it should be marked as affecting pplpy, but
assigned to doxygen.
Thanks,
JP
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
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: 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: 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
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,
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
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
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
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
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,
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,
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,
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,
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
1201 - 1285 of 1285 matches
Mail list logo
