debian-ocaml-maint Mar 2014 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Re: ocaml build scripts Mar 12

Stéphane Glondu

Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2 Mar 19
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2 Mar 25

Stéphane Glondu

Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2 Mar 26

Sébastien Dailly

Bug#738578: omake: unbound variable: public.OMakeVersion Mar 06

Stéphane Glondu

Bug#731704: patch Mar 11
Bug#738578: omake: unbound variable: public.OMakeVersion Mar 06
Bug#742881: camlpdf_1.7.2+1-1_amd64.changes REJECTED Mar 28
Bug#742613: ITP: ocaml-ctypes -- library for binding to C libraries using pure OCaml Mar 25
Bug#742105: missing dependency to libssreflect-coq Mar 19

Stéphane Glondu

Accepted cduce 0.6.0-1 (source amd64) Mar 15

Antoine Beaupré

Bug#727307: segfaults after 3 days Mar 29

Daria Ceriani

Come una piuma Mar 12

David Suárez

Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch Mar 30

Debian Bug Tracking System

Processed: cairo-ocaml: diff for NMU version 1:1.2.0-5.1 Mar 03
Bug#351510: marked as done (cameleon-doc: contain misplaced doc) Mar 02
Bug#742105: marked as done (missing dependency to libssreflect-coq) Mar 19
Bug#564334: marked as done (cameleon: document apparent loss of configuration) Mar 02
Bug#405071: marked as done (cameleon: docbrowser2.byte crashes) Mar 02
Processed: notfound 638763 in matita/0.5.8-3 Mar 27
Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch) Mar 30
Bug#731818: marked as done (cduce: FTBFS with ocaml 4.01.0) Mar 15
Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2 Mar 30
Bug#647719: marked as done (init.d status support) Mar 27
Bug#724354: marked as done (Please stop build depending on automake1.4, automake1.9 and automake1.10) Mar 13
Processed: Re: Bug#742779: coccinelle introduces spurious whitespace changes Mar 28
Bug#638763: marked as done (matita: please remove t1lib dependency) Mar 09
Bug#742779: marked as done (coccinelle introduces spurious whitespace changes) Mar 29
Bug#736171: marked as done (ocaml-mingw-w64 not installable) Mar 29
Processed: limit source to mldonkey, tagging 647719 Mar 26
Bug#731822: marked as done (cameleon: FTBFS with ocaml 4.01.0) Mar 02
Bug#373830: marked as done (GUI cameleon2.byte fails to work) Mar 02
Processed: tagging 743072 Mar 30

Debian FTP Masters

mingw-ocaml_4.01.0~20140328-1_amd64.changes ACCEPTED into unstable Mar 29
mathcomp_1.5-1_amd64.changes is NEW Mar 13
Processing of xmlm_1.2.0-1_amd64.changes Mar 27
ocaml-expect_0.0.5-1_amd64.changes ACCEPTED into unstable Mar 23
Processing of mathcomp_1.5-1_amd64.changes Mar 13
Processing of coccinelle_1.0.0~rc20.deb-2_amd64.changes Mar 29
Processing of mingw-ocaml_4.01.0~20140328-1_amd64.changes Mar 29
cmdliner_0.9.4-1_amd64.changes ACCEPTED into unstable Mar 27
mldonkey_3.1.5-1_amd64.changes ACCEPTED into unstable Mar 27
Processing of menhir_20130911.dfsg-2_amd64.changes Mar 27
Processing of ocamlgraph_1.8.4-1_amd64.changes Mar 24
alt-ergo_0.95.2-2_amd64.changes ACCEPTED into unstable Mar 30
findlib_1.4.1-1_amd64.changes ACCEPTED into unstable Mar 27
Processing of mldonkey_3.1.5-1_amd64.changes Mar 27
camlpdf_1.7.2+1-1_amd64.changes REJECTED Mar 28
Bug#739282: Removed package(s) from unstable Mar 02
cduce_0.6.0-1_amd64.changes ACCEPTED into unstable Mar 15
cairo-ocaml_1.2.0-5.1_amd64.changes ACCEPTED into unstable Mar 13
camlpdf_1.7.2+1-1_amd64.changes is NEW Mar 26
menhir_20130911.dfsg-1_amd64.changes ACCEPTED into unstable Mar 24
Processing of ocaml-ctypes_0.2.3-1_amd64.changes Mar 25
ssreflect_1.5-1_amd64.changes ACCEPTED into unstable Mar 13
ocaml-ctypes_0.2.3-1_amd64.changes is NEW Mar 25
Processing of cmdliner_0.9.4-1_amd64.changes Mar 27
Processing of ounit_2.0.0-1_amd64.changes Mar 22
coccinelle_1.0.0~rc20.deb-2_amd64.changes ACCEPTED into unstable Mar 29
Processing of cairo-ocaml_1.2.0-5.1_amd64.changes Mar 03
ounit_2.0.0-1_amd64.changes ACCEPTED into unstable Mar 22
Processing of cduce_0.6.0-1_amd64.changes Mar 15
Processing of findlib_1.4.1-1_amd64.changes Mar 27
Processing of mathcomp_1.5-2_amd64.changes Mar 19
Processing of ocaml-expect_0.0.5-1_amd64.changes Mar 23
xmlm_1.2.0-1_amd64.changes ACCEPTED into unstable Mar 27
Processing of alt-ergo_0.95.2-2_amd64.changes Mar 30
mathcomp_1.5-2_amd64.changes ACCEPTED into unstable Mar 19
Processing of camlpdf_1.7.2+1-1_amd64.changes Mar 26
menhir_20130911.dfsg-2_amd64.changes ACCEPTED into unstable Mar 27
mathcomp_1.5-1_amd64.changes ACCEPTED into unstable, unstable Mar 17
Processing of ssreflect_1.5-1_amd64.changes Mar 13
Bug#739282: Removed package(s) from unstable Mar 02
ocamlgraph_1.8.4-1_amd64.changes ACCEPTED into unstable Mar 24
Processing of menhir_20130911.dfsg-1_amd64.changes Mar 24
Processing of ocp-indent_1.4.1-1_amd64.changes Mar 06
ocp-indent_1.4.1-1_amd64.changes is NEW Mar 06

Debian testing watch

cduce 0.6.0-1 MIGRATED to testing Mar 21

Enrico Tassi

Bug#741535: libssreflect-coq: please Provide: an ABI Mar 13

Eric Dorland

Bug#724354: cairo-ocaml: diff for NMU version 1:1.2.0-5.1 Mar 03

Eugeniy Meshcheryakov

Bug#742779: coccinelle introduces spurious whitespace changes Mar 28

Jason White

Bug#743155: libcore-ocaml: Cannot be installed under Sid Mar 31

Johannes Schauer

Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Mar 06

Julia Lawall

Bug#742779: [Cocci] Bug#742779: coccinelle introduces spurious whitespace changes Mar 28

Justus Winter

Bug#742779: coccinelle introduces spurious whitespace changes Mar 27

Matt Quinn

Introduction / Interest in Package Maintenance Mar 06

Mehdi Dogguy

Re: Bug#742793: RM: t1lib/5.1.2-4 Mar 27

Niels Thykier

Re: Bug#742793: RM: t1lib/5.1.2-4 Mar 27
Re: Bug#742793: RM: t1lib/5.1.2-4 Mar 27

Ralf Treinen

Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch Mar 30

Robert Lemmen

Re: ocaml build scripts Mar 13
ocaml build scripts Mar 12

Sajith Sasidharan

Bug#738578: omake: unbound variable: public.OMakeVersion Mar 05

Space Coast Harley-Davidson

Bike Week Starts Here at Space Coast Harley-Davidson! Mar 06

Sylvain Le Gall

RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2 Mar 06
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2 Mar 12

Thorsten Alteholz

Bug#742881: missing license in debian/copyright Mar 28

ygrek

Bug#731704: patch Mar 11

The last update was on 14:59 GMT Wed Jun 05. There are 104 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