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