Ubuntu
alt-ergo package

[OCaml 3.11.2 transition][round 5/6] Please rebuild packages involved in OCaml transition (universe)

Bug #529408 reported by Stéphane Glondu
16
This bug affects 2 people
Affects Status Importance Assigned to Milestone
alt-ergo (Ubuntu)
Fix Released
Undecided
Unassigned
approx (Ubuntu)
Fix Released
Undecided
Unassigned
cduce (Ubuntu)
Fix Released
Undecided
Unassigned
ceve (Ubuntu)
Fix Released
Undecided
Unassigned
coccinelle (Ubuntu)
Fix Released
Undecided
Unassigned
janest-core (Ubuntu)
Fix Released
Undecided
Unassigned
json-wheel (Ubuntu)
Fix Released
Undecided
Unassigned
mlpost (Ubuntu)
Fix Released
Undecided
Unassigned
ocaml-http (Ubuntu)
Fix Released
Undecided
Unassigned
ocaml-lastfm (Ubuntu)
Fix Released
Undecided
Unassigned
ocaml-libvirt (Ubuntu)
Fix Released
Undecided
Unassigned
ocamldap (Ubuntu)
Fix Released
Undecided
Unassigned
ocsigen (Ubuntu)
Fix Released
Undecided
Unassigned
pgocaml (Ubuntu)
Fix Released
Undecided
Unassigned
pkglab (Ubuntu)
Fix Released
Undecided
Unassigned
pxp (Ubuntu)
Fix Released
Undecided
Unassigned
ssreflect (Ubuntu)
Fix Released
Undecided
Unassigned
xmlrpc-light (Ubuntu)
Fix Released
Undecided
Unassigned

Bug Description

Binary package hint: alt-ergo

Hello,

Reminder: there is an OCaml transitition going on in lucid. Its progress can be monitored at:

  http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
  http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ports_transition_monitor.html

Please rebuild the following packages:

  alt-ergo (0.9-1)
  approx (4.1-1)
  cduce (0.5.3-2build1)
  ceve (1.4-1)
  coccinelle (0.2.0.deb-1ubuntu1)
  janest-core (0.6.0-2)
  json-wheel (1.0.6-2)
  mlpost (0.7.4-1)
  ocaml-http (0.1.4-3build1)
  ocaml-lastfm (0.2.0-1)
  ocaml-libvirt (0.6.1.0-2)
  ocamldap (2.1.8-8)
  ocsigen (1.2.2-1)
  pgocaml (1.3-3)
  pkglab (1.4.2-8)
  pxp (1.2.1-2)
  xmlrpc-light (0.6.1-2)

Thanks in advance,

--
Stéphane

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package alt-ergo - 0.9-1build1

---------------
alt-ergo (0.9-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:36 +0300

Changed in alt-ergo (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package approx - 4.1-1build1

---------------
approx (4.1-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:44 +0300

Changed in approx (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package cduce - 0.5.3-2build2

---------------
cduce (0.5.3-2build2) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:03:00 +0300

Changed in cduce (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ceve - 1.4-1build1

---------------
ceve (1.4-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:29 +0300

Changed in ceve (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package coccinelle - 0.2.0.deb-1ubuntu2

---------------
coccinelle (0.2.0.deb-1ubuntu2) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:48 +0300

Changed in coccinelle (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package janest-core - 0.6.0-2build1

---------------
janest-core (0.6.0-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:56 +0300

Changed in janest-core (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package json-wheel - 1.0.6-2build1

---------------
json-wheel (1.0.6-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:40 +0300

Changed in json-wheel (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package mlpost - 0.7.4-1build1

---------------
mlpost (0.7.4-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:03:02 +0300

Changed in mlpost (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ocaml-http - 0.1.4-3build2

---------------
ocaml-http (0.1.4-3build2) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:31 +0300

Changed in ocaml-http (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ocaml-lastfm - 0.2.0-1build1

---------------
ocaml-lastfm (0.2.0-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:46 +0300

Changed in ocaml-lastfm (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ocaml-libvirt - 0.6.1.0-2build1

---------------
ocaml-libvirt (0.6.1.0-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:34 +0300

Changed in ocaml-libvirt (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ocamldap - 2.1.8-8build1

---------------
ocamldap (2.1.8-8build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:58 +0300

Changed in ocamldap (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ocsigen - 1.2.2-1build1

---------------
ocsigen (1.2.2-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:42 +0300

Changed in ocsigen (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package pgocaml - 1.3-3build1

---------------
pgocaml (1.3-3build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:27 +0300

Changed in pgocaml (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package pkglab - 1.4.2-8build1

---------------
pkglab (1.4.2-8build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:24 +0300

Changed in pkglab (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package pxp - 1.2.1-2build1

---------------
pxp (1.2.1-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:53 +0300

Changed in pxp (Ubuntu):
status: New → Fix Released
Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package xmlrpc-light - 0.6.1-2build1

---------------
xmlrpc-light (0.6.1-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:02:38 +0300

Changed in xmlrpc-light (Ubuntu):
status: New → Fix Released
Revision history for this message
Stéphane Glondu (glondu) wrote :

I've just added ssreflect (1.2+dfsg-3). I didn't put it the first time because it depends on coq, which fails to build on armel. I don't have time to investigate this failure right now, and I'd rather see ssreflect recompiled so that it is installable on most architectures in Lucid.

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package ssreflect - 1.2+dfsg-3build1

---------------
ssreflect (1.2+dfsg-3build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sat, 06 Mar 2010 10:09:56 +0300

Changed in ssreflect (Ubuntu):
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.