debian-ocaml-maint Mar 2014 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Accepted cduce 0.6.0-1 (source amd64)
alt-ergo_0.95.2-2_amd64.changes ACCEPTED into unstable
Bike Week Starts Here at Space Coast Harley-Davidson!
Bug#351510: marked as done (cameleon-doc: contain misplaced doc)
Bug#373830: marked as done (GUI cameleon2.byte fails to work)
Bug#405071: marked as done (cameleon: docbrowser2.byte crashes)
Bug#564334: marked as done (cameleon: document apparent loss of configuration)
Bug#638763: marked as done (matita: please remove t1lib dependency)
Bug#647719: marked as done (init.d status support)
Bug#724354: cairo-ocaml: diff for NMU version 1:1.2.0-5.1
Bug#724354: marked as done (Please stop build depending on automake1.4, automake1.9 and automake1.10)
Bug#727307: segfaults after 3 days
Bug#731704: patch
Bug#731818: marked as done (cduce: FTBFS with ocaml 4.01.0)
Bug#731822: marked as done (cameleon: FTBFS with ocaml 4.01.0)
Bug#736171: marked as done (ocaml-mingw-w64 not installable)
Bug#738578: omake: unbound variable: public.OMakeVersion
Bug#739282: Removed package(s) from unstable
Bug#741535: libssreflect-coq: please Provide: an ABI
Bug#742105: marked as done (missing dependency to libssreflect-coq)
Bug#742105: missing dependency to libssreflect-coq
Bug#742613: ITP: ocaml-ctypes -- library for binding to C libraries using pure OCaml
Bug#742779: [Cocci] Bug#742779: coccinelle introduces spurious whitespace changes
Bug#742779: coccinelle introduces spurious whitespace changes
Bug#742779: marked as done (coccinelle introduces spurious whitespace changes)
Re: Bug#742793: RM: t1lib/5.1.2-4
Bug#742881: camlpdf_1.7.2+1-1_amd64.changes REJECTED
Bug#742881: missing license in debian/copyright
Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch)
Bug#743155: libcore-ocaml: Cannot be installed under Sid
cairo-ocaml_1.2.0-5.1_amd64.changes ACCEPTED into unstable
camlpdf_1.7.2+1-1_amd64.changes is NEW
camlpdf_1.7.2+1-1_amd64.changes REJECTED
cduce 0.6.0-1 MIGRATED to testing
cduce_0.6.0-1_amd64.changes ACCEPTED into unstable
cmdliner_0.9.4-1_amd64.changes ACCEPTED into unstable
coccinelle_1.0.0~rc20.deb-2_amd64.changes ACCEPTED into unstable
Come una piuma
findlib_1.4.1-1_amd64.changes ACCEPTED into unstable
Introduction / Interest in Package Maintenance
mathcomp_1.5-1_amd64.changes ACCEPTED into unstable, unstable
mathcomp_1.5-1_amd64.changes is NEW
mathcomp_1.5-2_amd64.changes ACCEPTED into unstable
menhir_20130911.dfsg-1_amd64.changes ACCEPTED into unstable
menhir_20130911.dfsg-2_amd64.changes ACCEPTED into unstable
mingw-ocaml_4.01.0~20140328-1_amd64.changes ACCEPTED into unstable
mldonkey_3.1.5-1_amd64.changes ACCEPTED into unstable
ocaml build scripts
ocaml-ctypes_0.2.3-1_amd64.changes is NEW
ocaml-expect_0.0.5-1_amd64.changes ACCEPTED into unstable
ocamlgraph_1.8.4-1_amd64.changes ACCEPTED into unstable
ocp-indent_1.4.1-1_amd64.changes is NEW
ounit_2.0.0-1_amd64.changes ACCEPTED into unstable
Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2
Processed: cairo-ocaml: diff for NMU version 1:1.2.0-5.1
Processed: limit source to mldonkey, tagging 647719
Processed: notfound 638763 in matita/0.5.8-3
Processed: Re: Bug#742779: coccinelle introduces spurious whitespace changes
Processed: tagging 743072
Processing of alt-ergo_0.95.2-2_amd64.changes
Processing of cairo-ocaml_1.2.0-5.1_amd64.changes
Processing of camlpdf_1.7.2+1-1_amd64.changes
Processing of cduce_0.6.0-1_amd64.changes
Processing of cmdliner_0.9.4-1_amd64.changes
Processing of coccinelle_1.0.0~rc20.deb-2_amd64.changes
Processing of findlib_1.4.1-1_amd64.changes
Processing of mathcomp_1.5-1_amd64.changes
Processing of mathcomp_1.5-2_amd64.changes
Processing of menhir_20130911.dfsg-1_amd64.changes
Processing of menhir_20130911.dfsg-2_amd64.changes
Processing of mingw-ocaml_4.01.0~20140328-1_amd64.changes
Processing of mldonkey_3.1.5-1_amd64.changes
Processing of ocaml-ctypes_0.2.3-1_amd64.changes
Processing of ocaml-expect_0.0.5-1_amd64.changes
Processing of ocamlgraph_1.8.4-1_amd64.changes
Processing of ocp-indent_1.4.1-1_amd64.changes
Processing of ounit_2.0.0-1_amd64.changes
Processing of ssreflect_1.5-1_amd64.changes
Processing of xmlm_1.2.0-1_amd64.changes
RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
ssreflect_1.5-1_amd64.changes ACCEPTED into unstable
xmlm_1.2.0-1_amd64.changes ACCEPTED into unstable
The last update was on 14:59 GMT Wed Jun 05. There are 104 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc