debian-ocaml-maint Mar 2014 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#739282: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#739282: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#351510: marked as done (cameleon-doc: contain misplaced doc)
Debian Bug Tracking System
Message not available
Bug#373830: marked as done (GUI cameleon2.byte fails to work)
Debian Bug Tracking System
Message not available
Bug#405071: marked as done (cameleon: docbrowser2.byte crashes)
Debian Bug Tracking System
Message not available
Bug#564334: marked as done (cameleon: document apparent loss of configuration)
Debian Bug Tracking System
Message not available
Bug#731822: marked as done (cameleon: FTBFS with ocaml 4.01.0)
Debian Bug Tracking System
Bug#724354: cairo-ocaml: diff for NMU version 1:1.2.0-5.1
Eric Dorland
Processed: cairo-ocaml: diff for NMU version 1:1.2.0-5.1
Debian Bug Tracking System
Processing of cairo-ocaml_1.2.0-5.1_amd64.changes
Debian FTP Masters
Bug#738578: omake: unbound variable: public.OMakeVersion
Sajith Sasidharan
<Possible follow-ups>
Bug#738578: omake: unbound variable: public.OMakeVersion
Stéphane Glondu
Bug#738578: omake: unbound variable: public.OMakeVersion
Sébastien Dailly
RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Sylvain Le Gall
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Sylvain Le Gall
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Stéphane Glondu
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Stéphane Glondu
Re: RFC ounit 2.0.0, ocaml-expect 0.0.5, oasis 0.4.2
Stéphane Glondu
Introduction / Interest in Package Maintenance
Matt Quinn
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Stéphane Glondu
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Johannes Schauer
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Stéphane Glondu
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Johannes Schauer
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Stéphane Glondu
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Johannes Schauer
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim
Stéphane Glondu
Processing of ocp-indent_1.4.1-1_amd64.changes
Debian FTP Masters
ocp-indent_1.4.1-1_amd64.changes is NEW
Debian FTP Masters
Bike Week Starts Here at Space Coast Harley-Davidson!
Space Coast Harley-Davidson
Bug#638763: marked as done (matita: please remove t1lib dependency)
Debian Bug Tracking System
Bug#731704: patch
ygrek
Bug#731704: patch
Stéphane Glondu
Come una piuma
Daria Ceriani
ocaml build scripts
Robert Lemmen
Re: ocaml build scripts
Stéphane Glondu
Re: ocaml build scripts
Robert Lemmen
Bug#724354: marked as done (Please stop build depending on automake1.4, automake1.9 and automake1.10)
Debian Bug Tracking System
cairo-ocaml_1.2.0-5.1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ssreflect_1.5-1_amd64.changes
Debian FTP Masters
ssreflect_1.5-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#741535: libssreflect-coq: please Provide: an ABI
Enrico Tassi
Processing of mathcomp_1.5-1_amd64.changes
Debian FTP Masters
mathcomp_1.5-1_amd64.changes is NEW
Debian FTP Masters
Accepted cduce 0.6.0-1 (source amd64)
Stéphane Glondu
Bug#731818: marked as done (cduce: FTBFS with ocaml 4.01.0)
Debian Bug Tracking System
Processing of cduce_0.6.0-1_amd64.changes
Debian FTP Masters
cduce_0.6.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp_1.5-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Bug#742105: missing dependency to libssreflect-coq
Stéphane Glondu
Bug#742105: marked as done (missing dependency to libssreflect-coq)
Debian Bug Tracking System
Processing of mathcomp_1.5-2_amd64.changes
Debian FTP Masters
mathcomp_1.5-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
cduce 0.6.0-1 MIGRATED to testing
Debian testing watch
Processing of ounit_2.0.0-1_amd64.changes
Debian FTP Masters
ounit_2.0.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-expect_0.0.5-1_amd64.changes
Debian FTP Masters
ocaml-expect_0.0.5-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocamlgraph_1.8.4-1_amd64.changes
Debian FTP Masters
ocamlgraph_1.8.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of menhir_20130911.dfsg-1_amd64.changes
Debian FTP Masters
menhir_20130911.dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#742613: ITP: ocaml-ctypes -- library for binding to C libraries using pure OCaml
Stéphane Glondu
Processing of ocaml-ctypes_0.2.3-1_amd64.changes
Debian FTP Masters
ocaml-ctypes_0.2.3-1_amd64.changes is NEW
Debian FTP Masters
Processing of camlpdf_1.7.2+1-1_amd64.changes
Debian FTP Masters
camlpdf_1.7.2+1-1_amd64.changes is NEW
Debian FTP Masters
Processed: limit source to mldonkey, tagging 647719
Debian Bug Tracking System
Processing of mldonkey_3.1.5-1_amd64.changes
Debian FTP Masters
Bug#647719: marked as done (init.d status support)
Debian Bug Tracking System
mldonkey_3.1.5-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of findlib_1.4.1-1_amd64.changes
Debian FTP Masters
findlib_1.4.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#742779: coccinelle introduces spurious whitespace changes
Justus Winter
Bug#742779: coccinelle introduces spurious whitespace changes
Eugeniy Meshcheryakov
Processed: Re: Bug#742779: coccinelle introduces spurious whitespace changes
Debian Bug Tracking System
Bug#742779: [Cocci] Bug#742779: coccinelle introduces spurious whitespace changes
Julia Lawall
Bug#742779: marked as done (coccinelle introduces spurious whitespace changes)
Debian Bug Tracking System
Re: Bug#742793: RM: t1lib/5.1.2-4
Niels Thykier
<Possible follow-ups>
Re: Bug#742793: RM: t1lib/5.1.2-4
Niels Thykier
Re: Bug#742793: RM: t1lib/5.1.2-4
Mehdi Dogguy
Processing of xmlm_1.2.0-1_amd64.changes
Debian FTP Masters
Processing of menhir_20130911.dfsg-2_amd64.changes
Debian FTP Masters
Processed: notfound 638763 in matita/0.5.8-3
Debian Bug Tracking System
menhir_20130911.dfsg-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
xmlm_1.2.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of cmdliner_0.9.4-1_amd64.changes
Debian FTP Masters
cmdliner_0.9.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#742881: missing license in debian/copyright
Thorsten Alteholz
camlpdf_1.7.2+1-1_amd64.changes REJECTED
Debian FTP Masters
Bug#742881: camlpdf_1.7.2+1-1_amd64.changes REJECTED
Stéphane Glondu
Bug#727307: segfaults after 3 days
Antoine Beaupré
Bug#736171: marked as done (ocaml-mingw-w64 not installable)
Debian Bug Tracking System
Processing of mingw-ocaml_4.01.0~20140328-1_amd64.changes
Debian FTP Masters
mingw-ocaml_4.01.0~20140328-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coccinelle_1.0.0~rc20.deb-2_amd64.changes
Debian FTP Masters
coccinelle_1.0.0~rc20.deb-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
David Suárez
Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
Ralf Treinen
Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch)
Debian Bug Tracking System
Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2
Debian Bug Tracking System
Processed: tagging 743072
Debian Bug Tracking System
Processing of alt-ergo_0.95.2-2_amd64.changes
Debian FTP Masters
alt-ergo_0.95.2-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#743155: libcore-ocaml: Cannot be installed under Sid
Jason White
The last update was on 14:59 GMT Wed Jun 05. There are 104 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