debian-ocaml-maint Nov 2010 by author

[previous page]

Page 1 of 1

[next page]

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

Chris King

Bug#604419: mingw32-ocaml: toplevellib.cma and stdlib.cma make inconsistent assumptions over interface Pervasives Nov 22
Bug#604418: mingw32-ocaml: mklib references flexlink in package build path Nov 22

Cyril Brulebois

Bug#604970: coccinelle: Missing ocaml-findlib in Depends: Nov 25

Debian Bug Tracking System

Processed: Re: Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety Nov 03
Processed: Re: Bug#602170: [libbz2-ocaml] exceptions don't get registered properly Nov 02
Processed: limit source to coccinelle, tagging 604970 Nov 26
Processed: Re: Bug#605024: coq: coq.el requires nonexistent hilit19 Nov 26
Processed: ounit forward Nov 03
Bug#604970: marked as done (coccinelle: Missing ocaml-findlib in Depends:) Nov 26
Processed: tagging 602170 ... Nov 02
Processed: tagging 602170 Nov 04
Processed: fixed 596842 in 0.3.3-1 Nov 09
Processed: Re: Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev Nov 18
Bug#603939: marked as done (libbz2-ocaml-dev: missing dependency to libbz2-dev) Nov 18
Processed: Re: Bug#603335: menhir: Examples are installed twice Nov 13

Debian FTP Masters

ocaml-data-notation_0.0.2-1_amd64.changes is NEW Nov 19
Processing of ocaml-data-notation_0.0.2-1_amd64.changes Nov 19
tuareg-mode_2.0.4-1_amd64.changes ACCEPTED into experimental Nov 18
Processing of coccinelle_0.2.4.deb-1_amd64.changes Nov 21
coccinelle_0.2.4.deb-2_amd64.changes ACCEPTED into experimental Nov 26
Processing of aac-tactics_0.1-r13244-1_amd64.changes Nov 30
Processing of ocaml-expect_0.0.2-1_amd64.changes Nov 19
Processing of coccinelle_0.2.4.deb-2_amd64.changes Nov 26
ocaml-extunix_0.0.1-1_amd64.changes is NEW Nov 20
camlbz2_0.6.0-6_amd64.changes ACCEPTED into unstable Nov 18
Processing of camlbz2_0.6.0-6_amd64.changes Nov 18
Processing of tuareg-mode_2.0.4-1_amd64.changes Nov 18
Processing of ocaml-data-notation_0.0.2-2_amd64.changes Nov 19
Processing of tuareg-mode_2.0.4-1_amd64.changes Nov 18
Processing of ocaml-extunix_0.0.1-1_amd64.changes Nov 20
ocaml-expect_0.0.2-1_amd64.changes is NEW Nov 19
ocamlify_0.0.1-1_amd64.changes is NEW Nov 17
aac-tactics_0.1-r13244-1_amd64.changes is NEW Nov 30
Processing of ocamlify_0.0.1-1_amd64.changes Nov 17
ocaml-data-notation_0.0.2-2_amd64.changes is NEW Nov 19
coccinelle_0.2.4.deb-1_amd64.changes ACCEPTED into experimental Nov 21

Goswin von Brederlow

Bug#602170: [libbz2-ocaml] exceptions don't get registered properly Nov 03

Gregory BELLIER

Guillaume Yziquel

Bug#602410: libcore-ocaml-dev: META doesn't mention that core requires threads. Nov 04

Hendrik Tews

Bug#605014: blame package coq Nov 26
Bug#582768: blame package coq Nov 26
Bug#605024: coq: coq.el requires nonexistent hilit19 Nov 26

Joost Yervante Damad

Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety Nov 03
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety Nov 03
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly Nov 02
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly Nov 02

Julien Valroff

Bug#603831: edos-distcheck: Typing error in extended description Nov 17

Marc Mezzarobba

Bug#603335: menhir: Examples are installed twice Nov 13

martin f krafft

Bug#602314: please let unison create hardlinks Nov 03
Bug#602314: please let unison create hardlinks Nov 03

Mehdi Dogguy

Bug#605024: coq: coq.el requires nonexistent hilit19 Nov 26
Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev Nov 18
Re: names of distribution-branches in the git repository Nov 20
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 23
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 22

Pietro Abate

Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev Nov 18

Ralf Treinen

Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 23
Re: names of distribution-branches in the git repository Nov 23
names of distribution-branches in the git repository Nov 20

Stefano Zacchiroli

Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev Nov 18

Sylvain Le Gall

Re: names of distribution-branches in the git repository Nov 22
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl Nov 09
RFC: oasis2debian, a tool to create and maintain a debian/ using _oasis Nov 20
Bug#603828: ITP: ocaml-data-notation -- Store data using OCaml notation Nov 17
Bug#603830: ITP: oasis -- Architecture for building OCaml libraries and applications Nov 17
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety Nov 03
Re: names of distribution-branches in the git repository Nov 23
ITP: ocaml-extunix -- Extended functions for OCaml Unix module Nov 19
Bug#602314: please let unison create hardlinks Nov 03
Bug#603829: ITP: ocaml-expect -- Expect-like framework in OCaml Nov 17
Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi Nov 23
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 20
Re: names of distribution-branches in the git repository Nov 22
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl Nov 09
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety Nov 03

Stéphane Glondu

Re: libllvm-ocaml-2.7-dev: bad findlib package name Nov 26
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 21
Re: names of distribution-branches in the git repository Nov 22
Re: names of distribution-branches in the git repository Nov 23
Re: names of distribution-branches in the git repository Nov 22
Re: Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev Nov 18

Stéphane Glondu

Bug#603968: unblock: camlbz2/0.6.0-6 Nov 18
Bug#602410: libcore-ocaml-dev: META doesn't mention that core requires threads. Nov 05
Bug#603335: menhir: Examples are installed twice Nov 13
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly Nov 02
Bug#605024: coq: coq.el requires nonexistent hilit19 Nov 27
Bug#605487: ITP: aac-tactics -- Coq tactics for reasoning modulo AC Nov 30

Vladislav Naumov

Bug#604907: mldonkey-server: Stops with "Too many open files for directory open" message Nov 25

ygrek

Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi Nov 23
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl Nov 09
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl Nov 09
Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi Nov 23

The last update was on 17:45 GMT Wed May 01. There are 103 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