debian-ocaml-maint Jul 2009 by author
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Subject Index]
[Other Debian Lists]
[Debian Home]
Stéphane Glondu
Stéphane Glondu
Stéphane Glondu
Aaron M. Ucko
Archive Administrator
Bleacher Lanie
bradsmith
Brodess
Christoph Martin
Cyril Brulebois
damsel
David MENTRE
DDPOMail robot
Debian Bug Tracking System
- Processed: setting package to ocsigen-dev ocsigen-doc ocsigen, tagging 536865 Jul 14
- Processed: setting package to libledit-ocaml-dev ledit, tagging 535394 Jul 02
- Bug#524037: marked as done (libcoq-ocaml-dev: homepage address duplicated into long description) Jul 01
- Processed: setting package to advi advi-examples, tagging 534020 Jul 12
- Processed: retitle 535522 to Missing libbz2-dev in Build-Depends needed to activate DirectConnect Jul 04
- Bug#535824: marked as done (libgdome2-ocaml: Uninstallable dependency ocaml-base-nox-3.11.0 on sid) Jul 11
- Processed: setting package to jocaml-base jocaml, tagging 532970 Jul 07
- Processed: Re: Bug#534516: mldonkey-server: ucf called incorrectly; complains Jul 04
- Processed: Re: Bug#532289: matita fails to build in a non-networking environment. Jul 14
- Processed: tagging 532289 Jul 15
- Bug#535394: marked as done (ledit: bashism in debian/rules) Jul 02
- Bug#530141: marked as done (mldonkey-server: bashism in /bin/sh script) Jul 04
- Processed: Re: Bug#535522: mldonkey-server: Missing libbz2-dev in Build-Depends -> no bittorrent Jul 03
- Processed: setting package to why-examples libjessie-ocaml-dev libwhy-coq why, tagging 536104 Jul 07
- Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 535320 Jul 01
- Bug#516764: marked as done (dh-ocaml: Automatic generation of list of uploaders in control files) Jul 18
- Processed: setting package to edos-distcheck pkglab, tagging 538208 Jul 24
- Bug#536104: marked as done (why: binNMU-unsafe relationships between arch-any and -all packages) Jul 07
- Bug#535320: marked as done (coq: Coq not available with ocaml 3.11.1) Jul 01
- Bug#532970: marked as done (Make findlib work with Jocaml) Jul 07
- Bug#534020: marked as done (advi: FTBFS: checking for camlimages... not found) Jul 13
- Bug#535675: marked as done (camlimages: FTBFS: can't parse dependency dh-ocaml (>= 0.4.1)) Jul 04
- Bug#538208: marked as done (pkglab: depends on non-existing package libledit-ocaml) Jul 24
- Bug#535522: marked as done (mldonkey-server: Missing libbz2-dev in Build-Depends -> no bittorrent) Jul 03
- Bug#516777: marked as done (please ship git helpers specific to d-o-m (checkout, new-git-repo, ...)) Jul 18
- Processed: setting package to libcryptokit-ocaml-dev cryptokit libcryptokit-ocaml, tagging 536505 Jul 10
- Processed: pending Jul 14
- Bug#533158: marked as done (frama-c: long description no sentence) Jul 10
- Bug#534516: marked as done (mldonkey-server: ucf called incorrectly; complains) Jul 04
- Bug#532989: marked as done (jocaml: toplevel library doesn't work) Jul 07
- Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 538398 Jul 26
- Processed (with 1 errors): Re: [Build-common-hackers] Bug#537011: ocaml-gettext: FTBFS: Error: Files gettextModules.cmx and gettextConfig.cmx make inconsistent assumptions over implementation GettextConfig Jul 14
- Bug#532981: marked as done (jocaml-interp is needed for findlib integration.) Jul 07
- Processed: tagging 422917 Jul 04
- Bug#524447: marked as done ([INTL:es] Spanish debconf template translation for mldonkey) Jul 04
- Bug#536833: marked as done (hevea: missing call to dh_installtex) Jul 21
- Bug#515364: marked as done (advi: obsolete build-dep on x-dev) Jul 13
- Bug#528241: marked as done (dh-ocaml: Use << for Replaces, not <=?) Jul 18
- Processed: setting package to libcamlimages-ocaml libcamlimages-ocaml-dev libcamlimages-ocaml-doc camlimages ... Jul 04
Debian testing watch
decalitre
decapitates
Dippolito
Eric Cooper
Florent Fourcot
Frank Lichtenheld
Gianopulos
Grago
Heigh Ramo
Jean-Christophe Dubacq
Joachim Breitner
Jonas Smedegaard
Julien Cristau
Kurt Roeckx
Lucas Nussbaum
Matteo Acerbi
Matthias Klose
McAlphin
Mehdi Dogguy
Michael Bienia
Michael S. Gilbert
Myrick
Nobuhiro Ban
Petr Malát
Philipp Kern
Progacz Nobile
Ralf Treinen
Raphael Geissert
Romain Beauxis
Sanor
Scott Kitterman
Sivert
Stefano Zacchiroli
Stephane Glondu
Sylvain Le Gall
Tietze
uncancelled
The last update was on 15:54 GMT Sun May 19. There are 265 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc