Re: roadmap to OCaml 3.11 in Lenny+1
On Sun, Feb 08, 2009 at 03:40:24PM +0100, Stefano Zacchiroli wrote: Here is out of on top of my head a list of small things we should do in _all_ the packages we are going to upload for OCaml 3.11: Status update: Lenny is released. This evening I'll collect all the points raised in this thread and create a page with them on our wiki space. I suggest to wait just a few days (to check that there are no major impediments in unstable) and then we can start uploading OCaml 3.11 to unstable, and shortly thereafter all packages which need source uploads (I believe there are quite a few of them), to conclude with the usual round of binNMU/dep-wait. How does that sound? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime signature.asc Description: Digital signature
Processing of matita_0.5.7-1_amd64.changes
matita_0.5.7-1_amd64.changes uploaded successfully to localhost along with the files: matita_0.5.7-1.dsc matita_0.5.7.orig.tar.gz matita_0.5.7-1.diff.gz matita-standard-library_0.5.7-1_all.deb matita-doc_0.5.7-1_all.deb matita_0.5.7-1_amd64.deb Greetings, Your Debian queue daemon -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
matita_0.5.7-1_amd64.changes ACCEPTED
Accepted: matita-doc_0.5.7-1_all.deb to pool/main/m/matita/matita-doc_0.5.7-1_all.deb matita-standard-library_0.5.7-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.7-1_all.deb matita_0.5.7-1.diff.gz to pool/main/m/matita/matita_0.5.7-1.diff.gz matita_0.5.7-1.dsc to pool/main/m/matita/matita_0.5.7-1.dsc matita_0.5.7-1_amd64.deb to pool/main/m/matita/matita_0.5.7-1_amd64.deb matita_0.5.7.orig.tar.gz to pool/main/m/matita/matita_0.5.7.orig.tar.gz Override entries for your package: matita-doc_0.5.7-1_all.deb - optional doc matita-standard-library_0.5.7-1_all.deb - optional math matita_0.5.7-1.dsc - source math matita_0.5.7-1_amd64.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
transition to OCaml 3.11
[ please keep the Cc to d-o-m, for the sake of other OCaml maintainers ] Hi release-rs, many thanks and congratulations for the Lenny release! As a lot of teams I guess :), we---Debian OCaml Maintainers---are eager to push our (r)evolutions to unstable, starting in the few days. The first of such evolution is the long overdue transition of OCaml 3.11, which are users are waiting for for a while now. We plan to go ahead and uploading ocaml 3.11 itself (the package) during next week, then slowly uploading all the other packages. This time, given the unstable freeze, quite a lot of packages will need sourceful uploads, and we plan to take care of the appropriate delay to avoid unnecessary build failures. Then, as usual, we will request the usual round of binNMUs and dep-wait as with the old ocaml transitions. Please let us know if you have any problem with such plan. JFYI, we also plan to implement proper dependencies which enforce the lack of ABI incompatibility, as discussed back in DebConf7. Nevertheless, we want to separate concerns and we will not entangle this with the current 3.11 transition (also because not all needed tools are ready yet). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime signature.asc Description: Digital signature
Bug#515364: advi: obsolete build-dep on x-dev
Package: advi Version: 1.6.0-13 Severity: important Tags: squeeze, sid User: debia...@lists.debian.org Usertags: x-dev-removal Hi, the advi source package build-depends on x-dev. This transitional package is going away real soon now, please update your build-dependency to x11proto-core-dev. Cheers, Julien -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515379: lablgl: obsolete build-dep on x-dev
Package: lablgl Version: 1.03-1 Severity: important Tags: squeeze, sid User: debia...@lists.debian.org Usertags: x-dev-removal Hi, the lablgl source package build-depends on x-dev. This transitional package is going away real soon now, please update your build-dependency to x11proto-core-dev. Cheers, Julien -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
OCaml 3.11 migration checklist
On Sun, Feb 15, 2009 at 11:43:48AM +0100, Stefano Zacchiroli wrote: This evening I'll collect all the points raised in this thread and create a page with them on our wiki space. Done, here is the page: http://wiki.debian.org/Teams/OCamlTaskForce/OCaml311Migration please refer to it while upgrading your packages to OCaml 3.11. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime signature.asc Description: Digital signature
Re: roadmap to OCaml 3.11 in Lenny+1
On Mon, Feb 09, 2009 at 07:37:23PM +, Sylvain Le Gall wrote: On 09-02-2009, Stéphane Glondu st...@glondu.net wrote: Sylvain Le Gall a écrit : - Reintegrate missing native arch: at least ARM, maybe IA64 and alpha. Some bugs for this arches has been fixed upstream Concerning arm: it will be deprecated (IIUC) in favour of armel in Lenny+n (with n = 1) (which currently hasn't got a native compiler, see upstream bug #3746). snip Anyway, if we can produce a working ocamlopt for arm, we should do it even if it will be deprecated in Lenny+n (remember n can be a big number). Actually, it seems that n=1, according to [1]. Hence, even though I haven't checked with the release team, my guess is that 'arm' should not be mentioned any longer in architecture lists. This is way I haven't added this point to the 3.11 checklist [2]. I have the same perplexities of others about adding back IA64 and alpha, maybe we can postpone this? Cheers. [1] http://lists.debian.org/debian-devel-announce/2009/02/msg3.html [2] http://wiki.debian.org/Teams/OCamlTaskForce/OCaml311Migration -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime signature.asc Description: Digital signature
Processed: Re: Bug#515379: lablgl: obsolete build-dep on x-dev
Processing commands for cont...@bugs.debian.org: fixed 515379 1.04-1 Bug#515379: lablgl: obsolete build-dep on x-dev Bug marked as fixed in version 1.04-1. thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515379: marked as done (lablgl: obsolete build-dep on x-dev)
Your message dated Mon, 16 Feb 2009 01:19:21 +0100 with message-id 4998b109.1010...@glondu.net and subject line Re: Bug#515379: lablgl: obsolete build-dep on x-dev has caused the Debian Bug report #515379, regarding lablgl: obsolete build-dep on x-dev to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 515379: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=515379 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems ---BeginMessage--- Package: lablgl Version: 1.03-1 Severity: important Tags: squeeze, sid User: debia...@lists.debian.org Usertags: x-dev-removal Hi, the lablgl source package build-depends on x-dev. This transitional package is going away real soon now, please update your build-dependency to x11proto-core-dev. Cheers, Julien ---End Message--- ---BeginMessage--- fixed 515379 1.04-1 thanks jcris...@debian.org a écrit : Package: lablgl Version: 1.03-1 [...] the lablgl source package build-depends on x-dev. This transitional package is going away real soon now, please update your build-dependency to x11proto-core-dev. This dependency has already been dropped in a previous experimental upload. Cheers, -- Stéphane ---End Message---
Processed: setting package to advi advi-examples, tagging 515364
Processing commands for cont...@bugs.debian.org: # Automatically generated email from bts, devscripts version 2.10.35lenny2 # via tagpending # # advi (1.6.0-14) UNRELEASED; urgency=low # # * Replace obsolete build-dep on x-dev (Closes: #515364) package advi advi-examples Ignoring bugs not assigned to: advi advi-examples tags 515364 + pending Bug#515364: advi: obsolete build-dep on x-dev Tags were: sid squeeze Tags added: pending End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515364: setting package to advi advi-examples, tagging 515364
# Automatically generated email from bts, devscripts version 2.10.35lenny2 # via tagpending # # advi (1.6.0-14) UNRELEASED; urgency=low # # * Replace obsolete build-dep on x-dev (Closes: #515364) package advi advi-examples tags 515364 + pending -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#515379: setting package to liblablgl-ocaml-dev liblablgl-ocaml lablgl, tagging 515379
# Automatically generated email from bts, devscripts version 2.10.35lenny2 # via tagpending # # lablgl (1.04-2) UNRELEASED; urgency=low # # * Dependency on x-dev has been removed in a previous experimental upload #(Closes: #515379) # package liblablgl-ocaml-dev liblablgl-ocaml lablgl tags 515379 + pending -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: setting package to liblablgl-ocaml-dev liblablgl-ocaml lablgl, tagging 515379
Processing commands for cont...@bugs.debian.org: # Automatically generated email from bts, devscripts version 2.10.35lenny2 # via tagpending # # lablgl (1.04-2) UNRELEASED; urgency=low # # * Dependency on x-dev has been removed in a previous experimental upload #(Closes: #515379) # package liblablgl-ocaml-dev liblablgl-ocaml lablgl Ignoring bugs not assigned to: liblablgl-ocaml-dev liblablgl-ocaml lablgl tags 515379 + pending Bug#515379: lablgl: obsolete build-dep on x-dev Tags were: sid squeeze Tags added: pending End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org