debian-ocaml-maint Nov 2010 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly
Joost Yervante Damad
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly
Stéphane Glondu
Processed: Re: Bug#602170: [libbz2-ocaml] exceptions don't get registered properly
Debian Bug Tracking System
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly
Joost Yervante Damad
Bug#602170: [libbz2-ocaml] exceptions don't get registered properly
Goswin von Brederlow
Processed: tagging 602170 ...
Debian Bug Tracking System
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety
Joost Yervante Damad
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety
Sylvain Le Gall
Processed: Re: Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety
Debian Bug Tracking System
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety
Joost Yervante Damad
Bug#602298: [libounit-ocaml-dev] force "unit" return type in OUnit.bracket for typesafety
Sylvain Le Gall
Processed: ounit forward
Debian Bug Tracking System
Bug#602314: please let unison create hardlinks
martin f krafft
Bug#602314: please let unison create hardlinks
Sylvain Le Gall
Bug#602314: please let unison create hardlinks
martin f krafft
Processed: tagging 602170
Debian Bug Tracking System
Bug#602410: libcore-ocaml-dev: META doesn't mention that core requires threads.
Guillaume Yziquel
Bug#602410: libcore-ocaml-dev: META doesn't mention that core requires threads.
Stéphane Glondu
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Gregory Bellier
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Gregory Bellier
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Sylvain Le Gall
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Gregory Bellier
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Sylvain Le Gall
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
ygrek
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
ygrek
Bug#591891: libdbus-ocaml-dev: Possible conflict between 2 OCaml bindings: dBus and ssl
Gregory BELLIER
Processed: fixed 596842 in 0.3.3-1
Debian Bug Tracking System
Bug#603335: menhir: Examples are installed twice
Marc Mezzarobba
Bug#603335: menhir: Examples are installed twice
Stéphane Glondu
Processed: Re: Bug#603335: menhir: Examples are installed twice
Debian Bug Tracking System
Bug#603831: edos-distcheck: Typing error in extended description
Julien Valroff
Bug#603828: ITP: ocaml-data-notation -- Store data using OCaml notation
Sylvain Le Gall
Bug#603829: ITP: ocaml-expect -- Expect-like framework in OCaml
Sylvain Le Gall
Bug#603830: ITP: oasis -- Architecture for building OCaml libraries and applications
Sylvain Le Gall
Processing of ocamlify_0.0.1-1_amd64.changes
Debian FTP Masters
ocamlify_0.0.1-1_amd64.changes is NEW
Debian FTP Masters
Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev
Pietro Abate
Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev
Mehdi Dogguy
Processed: Re: Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev
Debian Bug Tracking System
Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev
Stefano Zacchiroli
Re: Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev
Stéphane Glondu
Bug#603939: marked as done (libbz2-ocaml-dev: missing dependency to libbz2-dev)
Debian Bug Tracking System
Processing of tuareg-mode_2.0.4-1_amd64.changes
Debian FTP Masters
<Possible follow-ups>
Processing of tuareg-mode_2.0.4-1_amd64.changes
Debian FTP Masters
tuareg-mode_2.0.4-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of camlbz2_0.6.0-6_amd64.changes
Debian FTP Masters
camlbz2_0.6.0-6_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#603968: unblock: camlbz2/0.6.0-6
Stéphane Glondu
Processing of ocaml-data-notation_0.0.2-1_amd64.changes
Debian FTP Masters
ocaml-data-notation_0.0.2-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-data-notation_0.0.2-2_amd64.changes
Debian FTP Masters
ocaml-data-notation_0.0.2-2_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-expect_0.0.2-1_amd64.changes
Debian FTP Masters
ocaml-expect_0.0.2-1_amd64.changes is NEW
Debian FTP Masters
ITP: ocaml-extunix -- Extended functions for OCaml Unix module
Sylvain Le Gall
Processing of ocaml-extunix_0.0.1-1_amd64.changes
Debian FTP Masters
ocaml-extunix_0.0.1-1_amd64.changes is NEW
Debian FTP Masters
RFC: oasis2debian, a tool to create and maintain a debian/ using _oasis
Sylvain Le Gall
names of distribution-branches in the git repository
Ralf Treinen
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Stéphane Glondu
Re: names of distribution-branches in the git repository
Ralf Treinen
Re: names of distribution-branches in the git repository
Stéphane Glondu
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Stéphane Glondu
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Stéphane Glondu
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Ralf Treinen
Re: names of distribution-branches in the git repository
Mehdi Dogguy
Re: names of distribution-branches in the git repository
Ralf Treinen
Re: names of distribution-branches in the git repository
Stéphane Glondu
Re: names of distribution-branches in the git repository
Sylvain Le Gall
Processing of coccinelle_0.2.4.deb-1_amd64.changes
Debian FTP Masters
coccinelle_0.2.4.deb-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Bug#604418: mingw32-ocaml: mklib references flexlink in package build path
Chris King
Bug#604419: mingw32-ocaml: toplevellib.cma and stdlib.cma make inconsistent assumptions over interface Pervasives
Chris King
Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi
ygrek
Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi
Sylvain Le Gall
Bug#604636: libcamlimages-ocaml-dev: does not install oFreetype.cmi
ygrek
Bug#604907: mldonkey-server: Stops with "Too many open files for directory open" message
Vladislav Naumov
Bug#604970: coccinelle: Missing ocaml-findlib in Depends:
Cyril Brulebois
Bug#604970: marked as done (coccinelle: Missing ocaml-findlib in Depends:)
Debian Bug Tracking System
Re: libllvm-ocaml-2.7-dev: bad findlib package name
Stéphane Glondu
Processed: limit source to coccinelle, tagging 604970
Debian Bug Tracking System
Processing of coccinelle_0.2.4.deb-2_amd64.changes
Debian FTP Masters
coccinelle_0.2.4.deb-2_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Bug#605024: coq: coq.el requires nonexistent hilit19
Hendrik Tews
Bug#605024: coq: coq.el requires nonexistent hilit19
Mehdi Dogguy
Processed: Re: Bug#605024: coq: coq.el requires nonexistent hilit19
Debian Bug Tracking System
Bug#605024: coq: coq.el requires nonexistent hilit19
Stéphane Glondu
Bug#605014: blame package coq
Hendrik Tews
Bug#582768: blame package coq
Hendrik Tews
Bug#605487: ITP: aac-tactics -- Coq tactics for reasoning modulo AC
Stéphane Glondu
Processing of aac-tactics_0.1-r13244-1_amd64.changes
Debian FTP Masters
aac-tactics_0.1-r13244-1_amd64.changes is NEW
Debian FTP Masters
The last update was on 17:45 GMT Wed May 01. There are 103 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc