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 ! Thanks for your quick followup
> Control: tags -1 + moreinfo
>
> On Fri, 10 May 2024 at 12:08:27 +0200, Julien Negros wrote:
> > In Bookworm last gnome-shell upgrade 43.9-0+deb12u1 -> 43.9-0+deb12u2
> > closes current logged session. Same issue with Bullseye
> &g
Package: gnome-shell
Version: 43.9-0+deb12u2
Severity: important
X-Debbugs-Cc: t...@security.debian.org
Hi !
In Bookworm last gnome-shell upgrade 43.9-0+deb12u1 -> 43.9-0+deb12u2
closes current logged session. Same issue with Bullseye
(3.38.6-1~deb11u1 -> 3.38.6-1~deb11u2). Doesn't look like an
Package: firmware-amd-graphics
Version: 20230210-5
Severity: important
Dear Maintainer,
The current versions of this packages, be it in stable (20230210-5), testing
(20230625-2)
or sid (20230625-2) prevent RX7800XT GPUs to be used with Debian.
The latest version (20240410) allows RX7800XT
On Mon, Apr 22, 2024 at 18:44:02 +0200, Julien Cristau wrote:
> Package: firefox-esr
> Version: 115.10.0esr-1~deb12u1
> Severity: normal
> X-Debbugs-Cc: jcris...@debian.org
>
> It seems that the gmp code does not expect the executable to be called
> something other than f
that it's equal to
NumExpectedHostFiles (4).
Cheers,
Julien
-- Package-specific info:
-- Addons package information
-- System Information:
Debian Release: trixie/sid
APT prefers testing-debug
APT policy: (600, 'testing-debug'), (600, 'testing'), (500,
'unstable-debug'), (500, 'stable
circumstances:
https://gitlab.freedesktop.org/xorg/xserver/-/issues/1659
https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/1476
Cheers,
Julien
Package: ods2tsv
Version: 0.9.6-1
Severity: minor
Tags: upstream
X-Debbugs-Cc: jul...@palard.fr
Dear Maintainer,
the ods2tsv manpage don't mention the `--sheet` option, but `ods2tsv --help`
does.
Please consider updating the manpage.
-- System Information:
Debian Release: trixie/sid
APT
severity 1060795 grave
thanks
Not sure how this was allowed to get into testing, but surely this
qualifies as RC...
Cheers,
Julien
Source: mercurial-evolve
Version: 10.5.3-4
Tags: sid trixie
X-Debbugs-Cc: jcris...@debian.org
Mercurial 6.7 breaks at least the topic extension
(https://repo.mercurial-scm.org/evolve/rev/3635782b0290); not sure about
evolve.
Cheers,
Julien
Hi,
I can just confirm that whatever was done breaks usage of gbp import-
orig --uscan.
Cheers,
J.Puydt
On Fri, 1 Mar 2024 12:48:32 +0100 Julien Leproust
wrote:
> Hello,
>
> Same issue for me, same symptoms, I was using lightdm with autologin and
> a kodi session, but any other session triggers the same bug.
Additional info: I upgraded the mesa packages to the new 24.0.2-1
version,
]
[ 39.017] (EE) 29: /lib/x86_64-linux-gnu/libc.so.6
(__libc_start_main+0x85) [0x7f0190aa8785]
[ 39.017] (EE) 30: /usr/lib/xorg/Xorg (_start+0x21) [0x561b02268281]
[ 39.017] (EE)
[ 39.017] (EE) Segmentation fault at address 0x40
Best regards,
--
Julien Leproust
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
er dists/*/, and the AUIP
file is there because the snapshot import runs as part of the "archive
update" on that host.
Cheers,
Julien
frastructure currently can't cope with -ports imports,
as they take longer than the interval between pushes, for reasons.
We'll turn it back on when we can.
Cheers,
Julien
fi
> done
> $ sh test
> Mon 05 Feb 2024 10:13:46 AWST
> Expired:
> /usr/share/ca-certificates/mozilla/Security_Communication_Root_CA.crt Sep 30
> 04:20:49 2023 GMT 1696047649 1707099226
>
> It might be a good idea to add an autopkgtest to check them.
>
It doesn't actually matter, though, and it'll be gone next time we pull
from mozilla.
Cheers,
Julien
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
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
e opened a PR upstream:
https://github.com/rra/rra-c-util/pull/18/commits/63e4ddf8683c8c1dc429043ca8af7984eff21140
Thanks again.
--
Julien ÉLIE
« Le cercle est le plus long chemin d'un point au même point. » (Tom
Stoppard, _Every Good Boy Deserves Favour_)
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
.. yes
checking for Py_Initialize... yes
configure:15028: checking for Py_Initialize
configure:15028: gcc -o conftest -g -O2
-I/home/news/work/py3.12.1/include/python3.12 conftest.c
-L/home/news/work/py3.12.1/lib -lpython3.12 -lpthread -ldl -lutil -lm
-Xlinker -export-dynamic >&5
-
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
a serious bug. Upgrading severity again.
Emmanuel, do you have any plan to update python3-build and fix poetry's
dependencies?
Cheers,
Julien
On Tue, Jan 16, 2024 at 11:02:25 +0100, Julien Cristau wrote:
> On Mon, Jan 15, 2024 at 16:14:17 +, Simon McVittie wrote:
>
> > The armel baseline does not have lock-free atomic operation opcodes. The
> > result is a build failure:
> >
> > https://buildd.debian
ike that already happened in
https://salsa.debian.org/xorg-team/lib/mesa/-/commit/71deba800f28059724dd7899b8901e86c0eb2365
a few months ago, looks like it regressed.
Cheers,
Julien
likely trivial, and builds bit-by-bit
> identical binary packages.
>
In my opinions the downside of 3.0 (quilt) outweigh the advantages so do
not expect I'll switch to it.
Cheers,
Julien
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: bugs.debian.org
Severity: normal
X-Debbugs-Cc: julien.casse...@gmail.com
Dear Maintainer,
* What led up to the situation?
I clicked Sleep in the KDE application menu, waited, then the pressed the power
button.
Or I closed the laptop lid, waited, then opened the laptop lid.
*
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 Sven,
On Mon, Dec 11, 2023 at 21:12:35 +0100, Sven Joachim wrote:
> On 2023-12-11 17:47 +0100, Sven Joachim wrote:
>
> > On 2023-12-11 16:22 +0100, Julien Cristau wrote:
> >>> _curses.error: endwin() returned ERR
> >
> > I am not familiar with Merc
usr/lib/python3/dist-packages/mercurial/util.py", line 1878, in check
> return func(*args, **kwargs)
>^
> File "/usr/lib/python3/dist-packages/hgext/histedit.py", line 1918, in
> histedit
> return _chistedit(ui, repo, freeargs, opts)
>
> File "/usr/lib/python3/dist-packages/hgext/histedit.py", line 1764, in
> _chistedit
> curses.endwin()
> _curses.error: endwin() returned ERR
Downgrading to the bookworm version (6.4-4) fixes it.
Cheers,
Julien
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
Please find below the output of ‘bash -x /usr/bin/chromium —version’ (latest
chromium version on armhf):
bash -x /usr/bin/chromium --version:
+ APPNAME=chromium
+ GDB=/usr/bin/gdb
+ LIBDIR=/usr/lib/chromium
+ BUILD_DIST=12.2
+ nosse3='The hardware on this system lacks support for the sse3
; Unfortunately it looks like 118.0.5993.117-1 never successfully built for
> armhf on debian 12..
>
>
>
> On Sun, Nov 12 2023 at 08:20:36 AM +01:00:00, Julien Neuhart
> wrote:
>> Could you guide me on how ton install those versions? As far as I know, they
>> a
as well and report back. Also, if it turns out to be the NEON
> change, having the output of `uname -a` and `cat /proc/cpuinfo` (inside of
> qemu's armhf emulation) would be helpful.
>
> On Sat, Nov 11 2023 at 12:08:42 PM +01:00:00, Julien Neuhart
> wrote:
>> Hello And
thing broken in general
> with chromium 119.
>
> It looks like a version of 117 and 118 also successfully built for armhf, as
> other option to try:
> https://snapshot.debian.org/package/chromium/118.0.5993.70-1~deb12u1/
> https://snapshot.debian.org/package/chromium/117.0.5938.149-1~deb1
UTC 2023 x86_64 GNU/Linux
Architecture: amd64
chromium --version:
find: '/root/.config/chromium/Crash Reports/pending/': No such file or directory
Chromium 119.0.6045.123 built on Debian 12.2, running on Debian 12.2
Thanks,
Julien
>>
> >> I had posted a patch to kernel, kernel bug tracker [1].
> >>
> >> [1]: https://bugzilla.kernel.org/show_bug.cgi?id=217680
> >
> > Any news about that? I haven't spotted any fix for this in Linus' tree
> > nor in next.
>
> Still waiting for a response from PCI folks.
> Will resend the patch later.
>
Any news on this? It's been several months...
Thanks,
Julien
been failing randomly
+for several years. Closes: #858253.
+
+ -- Julien Muchembled Sun, 22 Oct 2023 12:25:00 +0200
+
fssync (1.6-1.1) unstable; urgency=medium
* Non maintainer upload by the Reproducible Builds team.
diff -Nru fssync-1.6/debian/rules fssync-1.6/debian/rules
--- fssync-1.6
. the package I request RM), the upstream
repository has disappeared.
So I think it's time for tuxonice-userui to retire.
Julien
ates and bookworm-backports.
>
> This can be easily fixed later in installed system by editing
> /etc/apt/sources.list without any consequences.
>
> Thank you for attention.
>
Hi,
As far as I can tell this was already reported in bug #860467.
Cheers,
Julien
back bug #1030781, where the absence of a series file
causes dh_quilt_unpatch to error out instead of happily not doing
anything.
Cheers,
Julien
ot;"); split($0,a,"="); print tolower(a[2])}'
/etc/os-release)
which gives:
$ echo $EFIDIR
debian
--
[Julien Palard](https://mdk.fr)
severity 1053444 grave
thanks
See e.g.
https://buildd.debian.org/status/fetch.php?pkg=libx11=all=2%3A1.8.7-1=1696420352=0
quilt pop exits 2 if it has nothing to do
(https://sources.debian.org/src/quilt/0.67%2Breally0.67-1/quilt/pop.in/#L246),
so that should be expected and not an error for
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
eer(ui, peeropts, src_path)
>
> File "/usr/lib/python3/dist-packages/hggit/schemes.py", line 112, in peer
> newpeer = orig(uiorrepo, *args, **opts)
> ^
> File "/usr/lib/python3/dist-packages/mercurial/hg.py", line 286, in peer
> peer = repo.peer(path=peer_path, remotehidden=remotehidden)
>
> TypeError: gitrepo.peer() got an unexpected keyword argument 'remotehidden'
Cheers,
Julien
On Thu, Sep 28, 2023 at 12:42:27PM +0200, Santiago Vila wrote:
> El 28/9/23 a las 11:50, Julien Cristau escribió:
> > I still think that is absolutely the wrong thing to do, and makes
> > debootstrap more fragile for no good reason.
>
> Julien, I believe you are mixing two
Hi,
I still think that is absolutely the wrong thing to do, and makes
debootstrap more fragile for no good reason. If you think a particular
package shouldn't be priority:required then file a bug against
ftp.debian.org to change it.
Cheers,
Julien
On Sat, Sep 23, 2023 at 20:13:45 +0200
Control: severity -1 important
Control: tag -1 upstream
Control: retitle -1 mercurial: test-http-bad-server.t intermittent failure
Sounds like a flaky or racy test, downgrading.
On Tue, Sep 26, 2023 at 14:43:44 +0200, Lucas Nussbaum wrote:
> > --- /<>/tests/test-http-bad-server.t
> > +++
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: fwupd
Version: 1.9.4-2
Severity: normal
X-Debbugs-Cc: jul...@palard.fr
Hi,
while upgrading my laptop from Bookworm to Trixie I got:
> Setting up fwupd (1.9.4-2) ...
> /usr/sbin/policy-rc.d returned 101, not running 'restart
> fwupd-offline-update.service fwupd-refresh.service
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.
Control: reopen 1026455
Hi,
This was an issue on my end yesterday, sorry.
Cheers,
Julien
On Tue, Aug 01, 2023 at 11:35:37AM +, David Guo wrote:
> Hello,
>
>
>
> I checked our DNS settings and the domain is working fine:
>
>
>
> https://ping.sx/ping?t=mir
, and if there was an update triggers a full sync using
ftpsync. You might want to give it a try.
Regarding HTTPS, feel free to set it up for non-debian.org names, that's
generally a good idea.
Thanks,
Julien
On Mon, Jul 17, 2023 at 01:31:53PM +0300, Debian Mirror at TREX wrote:
> Hi,
>
> The Tampere U
Control: tag -1 moreinfo
On Sun, Jan 15, 2023 at 06:56:37AM +, Mike Holownych wrote:
> Site: deb.holownych.com
Hi,
How does this compare with your other submission (#1034123, for
debian.holownych.com)?
Thanks,
Julien
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
issues in the same bug. Retitling back to
focus on the s390x convert-svn-encoding issue. If there's something
else on other architectures then they need their own report.
Cheers,
Julien
wn to tests/dummysmtpd.py needing to be rewritten.
Unless/until that happens we'll have to skip test-patchbomb-tls.t.
Cheers,
Julien
The problem goes away if I rebuild bonmin, it's needed since some defines are
changing the class size.
j
De : Pierre Gruet
Envoyé : dimanche 9 juillet 2023 15:47
À : Debian Bug Tracking System
Objet : Bug#1040694: Segfault in CbcModel::initialSolve
Source:
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
Package: src:linux
Version: 6.3.7-1
Severity: grave
Justification: renders package unusable
Dear Maintainer,
Tracking sid, after upgrading from 6.1.0-9-amd64 to 6.3.0-1-amd64 (6.3.7-1), I
experienced a kernel panic during boot.
Here is its trace:
```
[2.961158] Kernel panic - not
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
1 - 100 of 17398 matches
Mail list logo
