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
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
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
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
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
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 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
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
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:
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: 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
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
>
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
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
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
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
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
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:
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
> >
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
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
ncy=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.links
--
Le vendredi 01 mai 2020 à 16:38 +0100, Adam D. Barratt a écrit :
> Thanks, please feel free to upload that.
Done.
Thanks,
JP
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 à 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
> > work.
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: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
lso 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 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 :
> >
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
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
-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 <julien.pu...@laposte.net> Thu, 09 Mar 2017 07:17:56
+0100
+
acorn (4.0.4-1) unstable; urgency=medium
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
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
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
Hi,
I notice that the buildd on powerpc failed, but it's an old error:
https://buildd.debian.org/status/fetch.php?pkg=singular=powerpc=4.0.1p2%2Bds-1=1438021079
so that's unrelated to this transition.
Snark on #debian-science
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
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, and
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, and lacks the
"Section: libs" which seems to confuse the automatic tools.
Ok, for a small transition like this, it will not be an issue. But
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 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
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
47 matches
Mail list logo
