debian-ocaml-maint Sep 2005 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

Andreas Jochens

Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..." Sep 05

Archive Administrator

Processing of numerix_0.21-1_i386.changes Sep 05
Processing of ocaml-tools_2005.29.04-3_i386.changes Sep 07
Processing of coq_8.0pl2-3_i386.changes Sep 07
Processing of ocaml_3.08.3-8_i386.changes Sep 08
Processing of lablgl_1.01-7_i386.changes Sep 09
Processing of bibtex2html_1.76-1_i386.changes Sep 22

Christian T. Steigies

Bug#327746: ocaml: [m68k] FTBFS: Sep 11
Bug#327746: ocaml: [m68k] FTBFS: Sep 12
Bug#327746: ocaml: [m68k] FTBFS: Sep 12
Bug#327746: ocaml: [m68k] FTBFS: Sep 12

Debian Bug Tracking System

Processed: tagging 326740, bug 326740 is forwarded to http://coq.inria.fr/bin/coq-bugs/incoming?id=999 Sep 07
Bug#310701: marked as done ([l10n] Czech translation for ocaml-tools) Sep 07
Bug#316500: marked as done (INTL:vi) Sep 07
Bug#283324: marked as done (ocaml-tools: please include opkg-buildpackage, and the rest of the content of the tools in svn.) Sep 07
Bug#326740: marked as done (coq: FTBFS: "Type ... is not compatible with type ...") Sep 07
Processed: tagging 327211, bug 327211 is forwarded to http://pauillac.inria.fr/bin/caml-bugs/fixed?id=3607 Sep 08
Processed: reassign 325401 to liblablgl-ocaml-dev Sep 09
Bug#312618: marked as done (ocaml-nox: Installation fails when emacsen-common is not configured) Sep 10
Bug#322210: marked as done ([m68k] ocaml-nox: can not be removed) Sep 10
Bug#322210: marked as done ([m68k] ocaml-nox: can not be removed) Sep 10
Bug#312618: marked as done (ocaml-nox: Installation fails when emacsen-common is not configured) Sep 10
Bug#322712: marked as done (ocaml: suspicious CVS directories in ocaml package) Sep 10
Processed: Re: Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 12
Processed: tags Sep 21
Bug#329398: marked as done (bibtex2html: non latin-1 characters are mapped to latin1?) Sep 22
Processed: tagging 328720 Sep 27

Debian Installer

numerix_0.21-1_i386.changes ACCEPTED Sep 05
ocaml-tools_2005.29.04-3_i386.changes ACCEPTED Sep 07
coq_8.0pl2-3_i386.changes ACCEPTED Sep 07
ocaml_3.08.3-8_i386.changes is NEW Sep 08
lablgl_1.01-7_i386.changes ACCEPTED Sep 09
ocaml_3.08.3-8_i386.changes ACCEPTED Sep 10
bibtex2html_1.76-1_i386.changes ACCEPTED Sep 22

Debian OCaml Maintainers

Accepted ocaml 3.08.3-8 (source i386 all) Sep 10

eBay

Important Notice: Verification Required To Avoid Account Suspension Sep 23

Falk Hueffner

Bug#327211: Wrong order in Map.fold Sep 08
Bug#327211: Wrong order in Map.fold Sep 08
Bug#327211: Wrong order in Map.fold Sep 08
Bug#327211: Wrong order in Map.fold Sep 08

Francesco Potorti`

Bug#329398: bibtex2html: non latin-1 characters are mapped to latin1? Sep 21

George Danchev

Re: ara (1.0.10) fixes minor/wishlist descrition bugs - please upload Sep 08

Ihr WEB.DE-Kundenservice

Ihre Anfrage: Delivery reports about your e-mail Sep 01

Jérôme Marant

Re: leaving ocaml packaging for a time ... Sep 29

Jérôme Marant

Re: Commits completed Sep 01
Re: Commits completed Sep 01
Re: Commits completed Sep 01
How to build packages from the repo? Sep 01
Re: How to build packages from the repo? Sep 01
Re: Commits completed Sep 02
Re: Commits completed Sep 02
End of changes Sep 05
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06

Jérôme Marant

Re: Commits completed Sep 02
New changes Sep 03
Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: New changes Sep 03
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03

Jari Aalto

Bug#328720: Incorrect package name, should be ocaml-mode-el Sep 16
Bug#328720: Incorrect package name, should be ocaml-mode-el Sep 18

joanna wells

powerful enlargement Sep 26

Julien Cristau

ocaml 3.08.4 Sep 27

Mike Furr

Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Accepted mlgmp 20021123-7 (source i386) Sep 03
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: libgmp-ocaml section Sep 05
Accepted mlgmp 20021123-8 (source i386) Sep 05
Accepted numerix 0.21-1 (source i386 all) Sep 05
Re: ocaml 3.08.4 Sep 28
Re: leaving ocaml packaging for a time ... Sep 30

Ralf Treinen

Re: Commits completed Sep 01
Re: Commits completed Sep 02
Re: Commits completed Sep 02
Bug#328720: Incorrect package name, should be ocaml-mode-el Sep 17
Accepted bibtex2html 1.76-1 (source all) Sep 22
Re: ocaml 3.08.4 Sep 29

Remi Vanicat

Re: Commits completed Sep 01
Re: Commits completed Sep 01
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
libgmp-ocaml section Sep 05

Samuel Mimram

Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..." Sep 05
Accepted mysql-ocaml 1.0.3-7 (source i386) Sep 07
Accepted ocaml-tools 2005.29.04-3 (source all) Sep 07
Accepted equeue 2.1.3-1 (source i386) Sep 07
Accepted coq 8.0pl2-3 (source all i386) Sep 07
Bug#327211: Wrong order in Map.fold Sep 08
Re: ara (1.0.10) fixes minor/wishlist descrition bugs - please upload Sep 08
Accepted ara 1.0.10 (source all i386) Sep 08
lablgl needs an upload Sep 09
Re: lablgl needs an upload Sep 09
Accepted lablgl 1.01-7 (source i386) Sep 09
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 11
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 11
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 11
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 12
Bug#329004: ITP: cairo-ocaml -- OCaml bindings for the cairo library Sep 18
Re: Bug#329004: ITP: cairo-ocaml -- OCaml bindings for the cairo library Sep 18
Re: leaving ocaml packaging for a time ... Sep 29
Re: ocaml 3.08.4 Sep 30

skaller

Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 12
AMD64 Debian available Sep 15
Re: AMD64 Debian available Sep 15
Re: ocaml 3.08.4 Sep 28
metaocaml Sep 28
Re: ocaml 3.08.4 Sep 29

Stefano Zacchiroli

Re: Commits completed Sep 01
Re: Commits completed Sep 01
Re: Commits completed Sep 01
Re: How to build packages from the repo? Sep 01
Re: dpatch-edit-patch && svn-buildpackage Sep 02
Re: RFS: unison, unison2.9.1 Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: ocaml upload Sep 08
Accepted findlib 1.0.4-4 (source i386) Sep 10
Re: CDuce package needs a rebuild ? Sep 18
Re: Bug#329004: ITP: cairo-ocaml -- OCaml bindings for the cairo library Sep 18
Accepted lablgtkmathview 0.7.2-2 (source i386) Sep 25
Re: leaving ocaml packaging for a time ... Sep 29
Re: ocaml 3.08.4 Sep 29
Re: ocaml 3.08.4 Sep 29
Re: leaving ocaml packaging for a time ... Sep 29

Sven Luther

Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: Does #322722 make sense? Sep 03
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
Re: End of changes Sep 06
ocaml upload Sep 08
Bug#327211: Wrong order in Map.fold Sep 08
Re: ocaml upload Sep 08
Bug#327211: Wrong order in Map.fold Sep 08
Bug#327211: Wrong order in Map.fold Sep 08
Re: lablgl needs an upload Sep 09
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 11
Bug#327746: ocaml: [m68k] FTBFS: Sep 11
Bug#327736: lablgl: FTBFS on m68k, ocamlmktop crashes at exit Sep 11
Bug#327746: ocaml: [m68k] FTBFS: Sep 12
Bug#327746: ocaml: [m68k] FTBFS: Sep 12
Bug#327746: ocaml: [m68k] FTBFS: Sep 12
Re: AMD64 Debian available Sep 15
Re: AMD64 Debian available Sep 15
Bug#328720: Incorrect package name, should be ocaml-mode-el Sep 18
Re: ocaml 3.08.4 Sep 27
leaving ocaml packaging for a time ... Sep 29
Re: leaving ocaml packaging for a time ... Sep 29
Re: leaving ocaml packaging for a time ... Sep 30

Sylvain LE GALL

RFS: unison, unison2.9.1 Sep 05
Accepted mldonkey 2.5.28.1-1 (source i386) Sep 05
Re: RFS: unison, unison2.9.1 Sep 06
ocaml 3.08.4 and dh_ocaml Sep 28
Re: leaving ocaml packaging for a time ... Sep 29

Thomas Petazzoni

Re: dpatch-edit-patch && svn-buildpackage Sep 01
CDuce package needs a rebuild ? Sep 16

YANG Shouxun

xml-light Sep 29

Zinaida League

q7 Heh, you never know Sep 01

The last update was on 07:51 GMT Sat Mar 08. There are 169 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc