Bug#885677: is rebuilding lablgtk2 without gnomecanvas an option?

On Fri, Mar 23, 2018 at 06:40:18PM +0100, Enrico Tassi wrote: > Dear Jeremy, I'm an upstream of some of the software that depends on > lablgtk2. Porting to GTK+3 is not an easy option, since lablgtk3 does > not exist (and will not exist as far as I know). > > As far as I

Bug#885677: is rebuilding lablgtk2 without gnomecanvas an option?

If it is a viable option for you, can you tell me which of the above are going to be a problem for Buster (in addition to libgnomecanvas)? Best -- Enrico Tassi

Accepted coq 8.6-4 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-3 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-2 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-1 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Re: mathcomp/ssreflect packaging (Was: Uploads needed)

e just tested it, and binary-only build works fine. I think the best way to get something working in the archive is to upload this one and RM:mathcomp. Best, -- Enrico Tassi

Re: Status of Coq-related packages

upload. No idea about float. Best, -- Enrico Tassi

Accepted coq 8.5-2 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.5-1 (source amd64) into unstable

Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Bug#802264: src:matita: FTBFS with OCaml 4.02.3

On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote: > Package: src:matita > Version: 0.99.1-3 > Severity: serious > > Dear Maintainer, This bugs is due to camlp5 and fixed in caca3dd0643ec5aae9df4399fa73eb280808ef18 see https://gforge.inria.fr/projects/camlp5/ Best, -- Enrico Tassi

Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental

Maintainers Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for

Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental

Maintainers Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for

Re: [coqdev] Bytecode/native interoperability of .vo/.coq files

where anyway? The status quo is that the stdlib is compiled with native-compute on, so we have .cmxs along with .vo files. But the flag is by default off when compiling files outside the stdlib. So, while coq-theories will become arch:any, user contributions can stay arch:all. Best, -- Enrico Tassi

Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental

Maintainers Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for

Accepted coq 8.5~beta2+dfsg-1 (source amd64) into experimental

Maintainers Changed-By: Enrico Tassi Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for

Bug#741535: libssreflect-coq: please Provide: an ABI

Package: libssreflect-coq Version: 1.5-1 Severity: wishlist Dear Maintainer, packages building coq libraries on top of ssreflect will depend on the md5 sum of the .vo files shipped by this package. There checksums change when Coq is updated, OCaml is updated, ssreflect is updated... Adding an ABI

Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns

On Fri, Jul 02, 2010 at 05:14:39PM +0200, St?phane Glondu wrote: > Le 01/07/2010 10:55, Enrico Tassi a ?crit : >>> From upstream VCS: [...] > > I was unable to find this... could you provide a link to a publically I thought inria's gforge was giving public access to the s

Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns

Package: ssreflect Severity: wishlist >From upstream VCS: r1875 | gonthier | 2010-03-17 12:22:08 +0100 (Wed, 17 Mar 2010) | 4 lines off-by-1 bug that delayed short-circuit occurrence selection: move: {1}(f x) actually loo

Accepted ocaml-expat 0.9.1+debian1-7 (source amd64)

: Enrico Tassi Description: libexpat-ocaml - OCaml expat bindings libexpat-ocaml-dev - OCaml expat bindings Closes: 569267 Changes: ocaml-expat (0.9.1+debian1-7) unstable; urgency=low . [ Stéphane Glondu ] * Fix CDBS include order (Closes: #569267) . [ Enrico Tassi ] * Maintainer is

Accepted ocaml-expat 0.9.1+debian1-6 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 11 Nov 2009 17:33:24 +0100 Source: ocaml-expat Binary: libexpat-ocaml-dev libexpat-ocaml Architecture: source amd64 Version: 0.9.1+debian1-6 Distribution: unstable Urgency: low Maintainer: Enrico Tassi Changed-By: Enrico Tassi

Bug#532289: matita fails to build in a non-networking environment.

lines do the job for me... which workflow makes it so annoying? dpatch-edit-patch foo svn-buildpackage -S -us -uc sudo pbuilder build ../build-area/*.dsc In any case the package will be moved to git at some point, since it is the new trend among ocaml maintainers. -- Enrico Tassi -- To UN

Accepted ocurl 0.5.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Mar 2009 18:39:44 +0100 Source: ocurl Binary: libcurl-ocaml-dev libcurl-ocaml Architecture: source amd64 Version: 0.5.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi

Re: ocurl + cduce

of "unsubscribe". Trouble? Contact listmas...@lists.debian.org > > -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Accepted ocaml-expat 0.9.1+debian1-5 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 09 Mar 2009 22:27:20 +0100 Source: ocaml-expat Binary: libexpat-ocaml-dev libexpat-ocaml Architecture: source amd64 Version: 0.9.1+debian1-5 Distribution: unstable Urgency: low Maintainer: Enrico Tassi Changed-By: Enrico Tassi

Accepted ocurl 0.2.1-14 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 09 Mar 2009 22:13:55 +0100 Source: ocurl Binary: libcurl-ocaml-dev libcurl-ocaml Architecture: source amd64 Version: 0.2.1-14 Distribution: unstable Urgency: low Maintainer: Enrico Tassi Changed-By: Enrico Tassi Description

Accepted ocurl 0.2.1-13 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 09 Feb 2008 16:56:39 +0100 Source: ocurl Binary: libcurl-ocaml-dev libcurl-ocaml Architecture: source amd64 Version: 0.2.1-13 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1+debian1-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 09 Feb 2008 16:45:17 +0100 Source: ocaml-expat Binary: libexpat-ocaml-dev libexpat-ocaml Architecture: source amd64 Version: 0.9.1+debian1-4 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTEC

Ocaml opt on alpha

smrun.a(alpha.o) has nothing to do with the software I'm compiling. Does this error message make any sense to you? Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#452089: Installas some files belonging to liblablgtksourceview-ocaml-*

==-+-= liblablgtk2-ocaml (= 2.10.0-2) | 2.10.0-2 ocaml-3.10.0 | libgtk2.0-dev | 2.12.1-3 libglade2-dev | 1:2.6.2-1 libgtkspell-dev| 2.0.10-3+b1 -- Enrico Tassi

Re: Bug#448156: ITP: matita -- interactive theorem prover

On Mon, Oct 29, 2007 at 12:35:51PM -0400, Mike Furr wrote: > Enrico Tassi wrote: > >Package name: matita > > Stefano already has some packages for this on his gluck page[1], have > you talked to him about the status of those? Yes, we share the same office here in Italy

Accepted ocurl 0.2.1-12 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 16 Sep 2007 21:52:45 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-12 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted lablgtksourceview 0.2.1-5 (source amd64)

Zacchiroli <[EMAIL PROTECTED]> Changed-By: Enrico Tassi <[EMAIL PROTECTED]> Description: liblablgtksourceview-ocaml - OCaml bindings for libgtksourceview, a source editor GTK widget liblablgtksourceview-ocaml-dev - OCaml bindings for libgtksourceview, a source editor GTK widget Closes: 44

Accepted ocurl 0.2.1-11 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 May 2007 11:52:03 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-11 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1+debian1-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 03 Sep 2007 15:29:06 +0100 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source amd64 Version: 0.9.1+debian1-3 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTEC

Bug#439017: ships empty /usr/include/ocaml/

:4.1.2-3 binutils | 2.18~cvs20070812-1 -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Accepted ocurl 0.2.1-10 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 May 2007 11:52:03 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-10 Distribution: experimental Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Chan

Accepted ocaml-expat 0.9.1+debian1-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 13 Jul 2007 18:53:34 + Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source amd64 Version: 0.9.1+debian1-2 Distribution: experimental Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTEC

Accepted ocurl 0.2.1-9 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 May 2007 11:49:11 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-9 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocurl 0.2.1-8 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 14 May 2007 17:30:13 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-8 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1+debian1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 28 Jul 2006 10:22:57 +0200 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source amd64 Version: 0.9.1+debian1-1 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTEC

Accepted ocurl 0.2.1-7 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 18 May 2006 19:32:07 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source amd64 Version: 0.2.1-7 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1-5 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 18 May 2006 19:30:53 +0200 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source amd64 Version: 0.9.1-5 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Chan

Accepted ocurl 0.2.1-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 14 Jan 2006 10:54:52 +0100 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-6 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 14 Jan 2006 11:13:42 +0100 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source i386 Version: 0.9.1-4 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Chan

Accepted ocurl 0.2.1-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 27 Nov 2005 17:29:28 +0100 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-5 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocaml-expat 0.9.1-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 26 Nov 2005 22:15:07 +0100 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source i386 Version: 0.9.1-3 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Chan

Accepted ocurl 0.2.1-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 27 Nov 2005 16:13:19 +0100 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-4 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocurl 0.2.1-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 19 Oct 2005 23:59:17 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-3 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocurl 0.2.1-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 11 Oct 2005 14:46:39 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-2 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocurl 0.2.1-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 22 Aug 2005 14:05:02 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.1-1 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Changed-By:

Accepted ocurl 0.2.0-4 (i386 source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 18 Jul 2005 21:06:21 +0200 Source: ocurl Binary: libcurl-ocaml libcurl-ocaml-dev Architecture: source i386 Version: 0.2.0-4 Distribution: unstable Urgency: low Maintainer: [EMAIL PROTECTED] Changed-By: Enrico Tassi <[EM

Accepted ocaml-expat 0.9.1-2 (powerpc source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 9 Apr 2005 21:02:42 +0200 Source: ocaml-expat Binary: libexpat-ocaml libexpat-ocaml-dev Architecture: source powerpc Version: 0.9.1-2 Distribution: unstable Urgency: low Maintainer: Enrico Tassi <[EMAIL PROTECTED]> Chan

Re: CDuce 0.2.2, first import

; Enrico, could you please check them in? sure, but this afternoon. ciao -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#291964: ITP: ocurl -- OCaml bindings for libcurl

Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: ocurl Version : 0.2.0 Upstream Author : Lars Nilsson <[EMAIL PROTECTED]> * URL : http://sourceforge.net/projects/ocurl * License : MIT/X Description

Bug#291966: ITP: ocaml-expat -- An ocaml wrapper for the Expat XML parsing library

Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: ocaml-expat Version : 0.9.0 Upstream Author : Maas-Maarten Zeeman <[EMAIL PROTECTED]> * URL : http://www.xs4all.nl/~mmzeeman/ocaml/ * License : MIT/X