urgency=medium
+
+ * Fix broken symlinks (Closes: #988654).
+
+ -- Julien Puydt Wed, 19 May 2021 08:22:39 +0200
+
node-es6-shim (0.35.6+ds-1) unstable; urgency=medium
[ Debian Janitor ]
diff -Nru node-es6-shim-0.35.6+ds/debian/node-es6-shim.links node-es6-shim-0.35.6+ds/debian/node-es6-shim.lin
Hi,
the Coq-related packages have a habit of breaking their ABI with almost
each upload, and until recently that meant broken user configurations:
installed packages stopped working because somewhere down the line one
of them got a new dress.
A few weeks ago, I wrote dh-coq, which made it possibl
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,
Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit :
> On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote:
> > Package: release.debian.org
> >
> > Some Coq-related packages need a rebuild:
> >
> > coq-hierarchy-builder
> > mathcomp-algebra-tactics mathcomp-analysis
> >
Le dimanche 07 août 2022 à 21:15 +0200, Sebastian Ramacher a écrit :
> On 2022-08-07 11:01:30 +0200, julien.pu...@gmail.com wrote:
> > Hi,
> >
> > Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit :
> > > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote:
> > > > Package: re
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
Hi,
I would like to upload src:mathcomp-finmap 1.5.2-1 to unstable ; that
means a few other packages will need a recompilation or they'll be
uninstallable
Hi,
since mathcomp-analysis got upgraded from 0.5.2-2 to 0.5.3-1, the new
wanna-build information is :
nmu mathcomp-analysis_0.5.3-1 . ANY . -m 'Rebuild due to new mathcomp-
finmap 0.5.2-1'
dw mathcomp-analysis_0.5.3-1 . ANY . -m 'mathcomp-finmap => 0.5.2-1'
nmu mathcomp-multinomials_1.5.5-8 .
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
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 wi
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 dep
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
>
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 prope
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 coq-hierarc
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 coq-quickchick_1.6.4-
Hi,
Le dimanche 25 septembre 2022 à 15:49 +0200, Sebastian Ramacher a
écrit :
> Control: tags -1 confirmed
>
> On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> > Usertags: transition
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-hierarchy-builder ; it requires
rebuilding another package:
nmu mathcomp-analy
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-
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
A new upstream version of elpi is out ; it requires rebuilding all
depending packages:
nmu coq-elpi_1.16.0-1+b2 .
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 aac-tactics is out ; it requires rebuilding a
depending package:
nmu coq-relation-algeb
Package: release.debian.org
User: release.debian@packages.debian.org
Usertags: rm
The newer versions of the minetest game have better than what it provides
It's abandoned upstream.
This package has no rdeps.
I'm the package maintainer (within the Debian Games Team), and I'm
proposing to dr
Le samedi 18 janvier 2020 à 02:38 +, peter green a écrit :
> I just took a look at the "add python3.8 transition tracker", and
> split the remaining "bad" packages into categories.
There's another kind of issue ; here is an example :
- sagemath builds only for Python 3.7, so some of this subp
Le dimanche 19 janvier 2020 à 00:54 +, peter green a écrit :
> > There's another kind of issue
> Yeah, sadly the transition tracker only looks at unstable, so
> packages that are fixed in unstable but haven't migrated to testing
> for some reason won't show up.
> > ; here is an example :
> >
uld
also follow it.
Thanks,
JP
PS: here it is:
commit 55df6269e8ac1a5a4200dbb759c3661bbd1249f2
Author: Julien Puydt
Date: Thu Apr 30 17:22:15 2020 +0200
Add patch from Gilles Filippini to fix library path loading with the recent
openjdk 11.0.7 upload. (Closes: #955694, #959034)
diff
Le vendredi 01 mai 2020 à 11:21 +0100, Adam D. Barratt a écrit :
> Just to confirm, does scilab with this patch still work if used in
> conjunction with OpenJDK 11.0.6? (11.0.7 isn't currently available on
> a few architectures.)
No... it's either with Gilles' patch and it works with 11.0.7 or
wit
Le vendredi 01 mai 2020 à 11:59 +0100, Adam D. Barratt a écrit :
> On Fri, 2020-05-01 at 12:37 +0200, Julien Puydt wrote:
> > Le vendredi 01 mai 2020 à 11:21 +0100, Adam D. Barratt a écrit :
> > > Just to confirm, does scilab with this patch still work if used
> > >
Le vendredi 01 mai 2020 à 11:59 +0100, Adam D. Barratt a écrit :
> On Fri, 2020-05-01 at 12:37 +0200, Julien Puydt wrote:
> > No... it's either with Gilles' patch and it works with 11.0.7 or
> > without and it works with 11.0.6... any other combination doesn't
&g
h loading
+ with the recent openjdk 11.0.7 upload. (Closes: #955694, #959034)
+
+ -- Julien Puydt Fri, 01 May 2020 16:47:40 +0200
+
scilab (6.0.1-10) unstable; urgency=medium
[ Alexis Murzeau ]
diff --git a/debian/patches/addLibraryPath.patch
b/debian/patches/addLibraryPath.patch
new
Le vendredi 01 mai 2020 à 16:38 +0100, Adam D. Barratt a écrit :
> Thanks, please feel free to upload that.
Done.
Thanks,
JP
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
The transition is to a (much) newer version of NTL, going from version
6.2.1 to version 9.9.1.
The auto-generated ntl transition page doesn't list flint-arb as a dep,
but it probabl
Hi,
On 04/07/2016 14:13, Jonathan Wiltshire wrote:
On 2016-07-03 10:30, Jonathan Wiltshire wrote:
Control: tag -1 confirmed
On 2016-07-02 21:58, Julien Puydt wrote:
I checked that these new ntl packages make it possible to build eclib,
flint, linbox, singular and flint-arb on an amd64 debian
Hi,
On 04/07/2016 14:13, Jonathan Wiltshire wrote:
On 2016-07-03 10:30, Jonathan Wiltshire wrote:
Control: tag -1 confirmed
On 2016-07-02 21:58, Julien Puydt wrote:
I checked that these new ntl packages make it possible to build eclib,
flint, linbox, singular and flint-arb on an amd64 debian
Hi,
On 06/07/2016 07:46, Julien Puydt wrote:
The eclib failure on amd64 is pretty annoying -- I tried on my amd64
box, and got illegal instruction too.
Then I compiled libntl27 from apt-get source and installed the obtained
libntl27 package, and ran make check again : gone!
It turns out
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-scie...@lists.debian.org
Hi,
I would like to schedule a transition for flint ; what has been done up
to now is:
(1) the old version 2.4.5-4 is in unstable&testing,
Hi,
Le 17/09/2015 10:26, Niels Thykier a écrit :
On 2015-09-17 09:44, Julien Puydt wrote:
(1) the old version 2.4.5-4 is in unstable&testing, and lacks the
"Section: libs" which seems to confuse the automatic tools.
Ok, for a small transition like this, it will not be an i
Hi,
as seen below, I need a sponsor to upload flint 2.5.2-2 to unstable,
so the transition can go forward.
Thanks,
Snark on #debian-science
Le jeudi 17 sept. 2015 à 20:47:02 (+0200), Niels Thykier a écrit :
> Control: tags -1 confirmed
>
> On 2015-09-17 20:16, Julien Puydt wrot
Hi,
the new flint is now built on the 10 main arches without an hiccup:
https://buildd.debian.org/status/package.php?p=flint
So the next step should be a binNMU on singular.
Thanks,
Snark on #debian-science
Hi,
I notice that the buildd on powerpc failed, but it's an old error:
https://buildd.debian.org/status/fetch.php?pkg=singular&arch=powerpc&ver=4.0.1p2%2Bds-1&stamp=1438021079
so that's unrelated to this transition.
Snark on #debian-science
17-03-09 07:17:56.0 +0100
@@ -1,3 +1,9 @@
+acorn (4.0.4-2) unstable; urgency=medium
+
+ * Add explicit rule to force compilation ordering (Closes: #850506)
+
+ -- Julien Puydt Thu, 09 Mar 2017 07:17:56
+0100
+
acorn (4.0.4-1) unstable; urgency=medium
* New upstream release.
diff -Nru
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
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,
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,
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
Hi,
the version of libntl which has been recently uploaded in unstable has
rdepends on three packages: eclib, flint and linbox. Both eclib & flint
have either new versions or need a bugfix, and will be pushed shortly.
It leaves linbox to care about : it doesn't need a bugfix and is already
t
Hi,
Le 25/09/2014 16:44, Adam D. Barratt a écrit :
On 2014-09-25 15:09, Julien Puydt wrote:
the version of libntl which has been recently uploaded in unstable has
rdepends on three packages: eclib, flint and linbox. Both eclib &
flint have either new versions or need a bugfix, and wil
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
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
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
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: 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
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
56 matches
Mail list logo
