Hi,
I updated package cmdliner, using the new upstream makefile. I
was able to remove many overrides in debian/rules and the package
would even build fine without any overrides, except that it then
includes the opam file. Apart from patching Makefile, the only
solution for excluding the opam file
Your message dated Fri, 11 Aug 2017 15:59:52 -0400
with message-id <20170811195951.pejx275koyjbr...@dogguy.org>
and subject line Re: Bug#580092: ocaml-batteries: FTBFS with OCaml 3.12 because
of undeclared overridden methods
has caused the Debian Bug report #580092,
regarding new syntax in OCaml 3
We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:
libderiving-ocaml | 0.1.1a-3+b1 | arm64, mips64el, ppc64el
libderiving-ocaml | 0.1.1a-3+b2 | armhf, s390x
libderiving-ocaml | 0.1.1a-3+b3 | amd64, armel, i386, kfreebsd-amd64,
kfreebsd-i38
Version: 0.1.1a-3+rm
Dear submitter,
as the package ocaml-deriving has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/78405
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 11 Aug 2017 14:06:33 -0400
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20170501+phosphorus+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Ch
frama-c_20170501+phosphorus+dfsg-1_amd64.changes uploaded successfully to
localhost
along with the files:
frama-c_20170501+phosphorus+dfsg-1.dsc
frama-c_20170501+phosphorus+dfsg.orig.tar.gz
frama-c_20170501+phosphorus+dfsg-1.debian.tar.xz
frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_amd6
Your message dated Fri, 11 Aug 2017 18:27:53 +
with message-id
and subject line Bug#784050: Removed package(s) from unstable
has caused the Debian Bug report #666257,
regarding libderiving-ocaml: Programs using libderiving fail to link (archive
missing in META)
to be marked as done.
This mea
Your message dated Fri, 11 Aug 2017 18:27:53 +
with message-id
and subject line Bug#784050: Removed package(s) from unstable
has caused the Debian Bug report #869322,
regarding Updating the ocaml-deriving Uploaders list
to be marked as done.
This means that you claim that the problem has been
On 11/08/2017 03:46, Ralf Treinen wrote:
> Hi,
>
> On Thu, Aug 10, 2017 at 06:23:53PM -0400, Mehdi Dogguy wrote:
>> Hi all,
>>
>> I just want to let you know that I do not have time to maintain Frama-C
>> anymore.
>> I don't use it anymore. Before considering filing an O: or RFA: bug, is there
Hi,
On Thu, Aug 10, 2017 at 06:23:53PM -0400, Mehdi Dogguy wrote:
> Hi all,
>
> I just want to let you know that I do not have time to maintain Frama-C
> anymore.
> I don't use it anymore. Before considering filing an O: or RFA: bug, is there
> anyone from the team interested in the package and
10 matches
Mail list logo
