debian-ocaml-maint Apr 2012 by author

[previous page]

Page 1 of 1

[next page]

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

Andreas Beckmann

Bug#668751: liquidsoap: unowned directory after purge: /usr/share/liquidsoap Apr 14

arno

Bug#666825: ocamlnet: sourceful transition towards Apache 2.4 Apr 01

bts-link-upstream

[bts-link] source package ocaml Apr 19
[bts-link] source package ocaml Apr 09
[bts-link] source package mldonkey Apr 09

Cristian Ionescu-Idbohrn

Bug#657496: unison: manual empty Apr 15

Daniel Schepler

Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root Apr 28

David Kalnischkies

Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path Apr 05

Debian Bug Tracking System

Bug#666594: marked as done (matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located) Apr 01
Processed: bug 667447 is forwarded to Olivier Andrieu <oandrieu@gmail.com> Apr 04
Bug#665378: marked as done (dose-distcheck: dose-debcheck --explain returns incorrect version numbers) Apr 02
Bug#666572: marked as done (bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg') Apr 01
Processed: Re: Bug#657496: unison: manual empty Apr 15
Bug#335578: marked as done (ocamlopt.opt segfaults on Alpha) Apr 16
Processed: Fixed upstream Apr 16
Processed: [bts-link] source package ocaml Apr 19
Bug#309036: marked as done (unison-gtk: skip button doesn't allow for repeated clicks) Apr 27
Bug#657496: marked as done (unison: manual empty) Apr 18
Bug#657496: marked as done (unison: manual empty) Apr 02
Bug#345793: marked as done (mldonkey: fails to build on alpha) Apr 16
Processed: Re: Processed (with 4 errors): Re: Bug#666276: librsvg2-bin: /usr/bin/rsvg is not shipped anymore Apr 05
Bug#667283: marked as done (mldonkey: ftbfs with GCC-4.7) Apr 12
Bug#662921: marked as done (libxmlm-ocaml-dev: wrong output with custom functions) Apr 08
Bug#339061: marked as done (ocamlopt emits buggy IA64 programs) Apr 16
Processed: submitter 667447 Apr 04
Bug#338148: marked as done ([alpha] regression: ocamlopt.opt segfaults) Apr 16
Processed: tagging 666572 Apr 01
Processed: [bts-link] source package mldonkey Apr 09
Processed: bug 667283 is forwarded to https://savannah.nongnu.org/bugs/index.php?36078 Apr 04
Bug#666381: marked as done (camlidl: FTBFS: debian/xml-man/en/camlidl.1: No such file or directory at /usr/bin/dh_installman line 127.) Apr 06
Bug#661716: marked as done (ocaml: adapt testsuite/tests/asmcomp/i386.S for hurd-i386) Apr 19
Processed: bug 659149 is forwarded to http://caml.inria.fr/mantis/view.php?id=5572 Apr 03
Processed: limit source to mldonkey, tagging 667283 Apr 05

Debian FTP Masters

eliom_2.1.1b-1_amd64.changes ACCEPTED into experimental Apr 06
Bug#667820: fixed Apr 07
coq-doc_8.3pl4-1_amd64.changes ACCEPTED into unstable Apr 06
dose3_2.9.15-1_amd64.changes ACCEPTED into unstable Apr 02
uuidm_0.9.4-1_amd64.changes ACCEPTED into unstable Apr 08
Processing of ocaml_4.00.0~~dev15+12379-1_amd64.changes Apr 19
Processing of aac-tactics_0.2.pl2-6_amd64.changes Apr 01
camlidl override disparity Apr 06
coq_8.4~beta+dfsg-4_amd64.changes ACCEPTED into experimental Apr 06
Processing of dh-ocaml_1.0.5_amd64.changes Apr 18
matita_0.5.8-4_amd64.changes ACCEPTED into unstable Apr 01
Processing of react_0.9.3-1_amd64.changes Apr 06
Processing of bibtex2html_1.97-2_amd64.changes Apr 01
camlidl_1.05-14_amd64.changes ACCEPTED into unstable Apr 06
Processing of coq-doc_8.3pl4-1_amd64.changes Apr 06
eliom_2.1.1b-1_amd64.changes is NEW Apr 06
Processing of coccinelle_1.0.0~rc12.deb-1_amd64.changes Apr 09
Processing of dose3_2.9.15-1_amd64.changes Apr 02
Processing of unison_2.40.65-2_amd64.changes Apr 18
hol-light_20120423-1_amd64.changes is NEW Apr 26
mldonkey_3.1.1-1_amd64.changes ACCEPTED into unstable Apr 12
Processing of ocamlmod_0.0.2-1_amd64.changes Apr 20
Processing of coq_8.4~beta+dfsg-4_amd64.changes Apr 06
unison_2.40.65-1_armel.changes ACCEPTED into unstable Apr 02
ocamlmod_0.0.2-1_amd64.changes is NEW Apr 20
bibtex2html_1.97-2_amd64.changes ACCEPTED into unstable Apr 01
coccinelle_1.0.0~rc12.deb-4_amd64.changes ACCEPTED into unstable Apr 13
Processing of eliom_2.1.1b-1_amd64.changes Apr 06
Processing of matita_0.5.8-4_amd64.changes Apr 01
why_2.30+dfsg-4_amd64.changes ACCEPTED into unstable Apr 06
ocaml-data-notation_0.0.8-1_amd64.changes ACCEPTED into unstable Apr 06
xmlm_1.1.0-1_amd64.changes ACCEPTED into unstable Apr 08
coccinelle_1.0.0~rc12.deb-2_amd64.changes ACCEPTED into experimental Apr 09
aac-tactics_0.2.pl2-6_amd64.changes ACCEPTED into unstable Apr 01
Processing of ocamlmod_0.0.2-1_amd64.changes Apr 20
ssreflect override disparity Apr 01
Processing of xmlm_1.1.0-1_amd64.changes Apr 08
dh-ocaml_1.0.5_amd64.changes ACCEPTED into unstable Apr 18
coccinelle_1.0.0~rc12.deb-3_amd64.changes ACCEPTED into experimental Apr 11
Processing of hol-light_20120423-1_amd64.changes Apr 26
Processing of eliom_2.1.1b-2_armel.changes Apr 11
ocamlmod_0.0.2-1_amd64.changes ACCEPTED into unstable Apr 26
ocaml_4.00.0~~dev15+12379-1_amd64.changes ACCEPTED into experimental Apr 19
Processing of ssreflect_1.3pl2-4_amd64.changes Apr 01
Processing of unison_2.40.65-1_armel.changes Apr 02
Processing of uuidm_0.9.4-1_amd64.changes Apr 08
Processing of camlidl_1.05-14_amd64.changes Apr 06
Processing of pgocaml_1.5-1_amd64.changes Apr 26
eliom_2.1.1b-2_armel.changes ACCEPTED into experimental Apr 11
Processing of ocaml-data-notation_0.0.8-1_amd64.changes Apr 06
react_0.9.3-1_amd64.changes ACCEPTED into unstable Apr 06
Processing of why_2.30+dfsg-4_amd64.changes Apr 06
Processing of ocamlmod_0.0.2-1_amd64.changes Apr 20
Processing of coccinelle_1.0.0~rc12.deb-3_amd64.changes Apr 11
Processing of mldonkey_3.1.1-1_amd64.changes Apr 12
ssreflect_1.3pl2-4_amd64.changes ACCEPTED into unstable Apr 01
unison_2.40.65-2_amd64.changes ACCEPTED into unstable Apr 18
coccinelle_1.0.0~rc12.deb-1_amd64.changes ACCEPTED into experimental Apr 09
Processing of coccinelle_1.0.0~rc12.deb-4_amd64.changes Apr 13
Processing of coccinelle_1.0.0~rc12.deb-2_amd64.changes Apr 09

Debian testing watch

coq 8.3.pl4+dfsg-1 MIGRATED to testing Apr 09

Florent Monnier

2 patches for ocamlsdl Apr 03

Goswin von Brederlow

Bug#670869: Missing binding for SDL_ConvertSurface Apr 29
Bug#670868: create_RGB_surface ignores flags Apr 29

Hendrik Tews

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Apr 24
Bug#614933: camldebug doesn't work with a pristine emacs installation Apr 29
Bug#614933: camldebug doesn't work with a pristine emacs installation Apr 29
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Apr 10

Jakub Wilk

Bug#670108: dose3: formatting errors in manpages Apr 22

Julian Taylor

Bug#657496: manual is compressed Apr 15

Julien Cristau

Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path Apr 05

Kevin Ryde

Bug#452340: ocaml-mode: Can't follow cross-refs to elisp source files in Emacs Apr 25

Lucas Nussbaum

Bug#669539: alt-ergo: FTBFS: make[2]: autoconf: Command not found Apr 19

Matthias Klose

Bug#667283: mldonkey: ftbfs with GCC-4.7 Apr 03

Mehdi Dogguy

nodiscc

Bug#309036: unison-gtk: skip button doesn't allow for repeated clicks [FIXED] Apr 27

Pierre Boutillier

Bug#614933: camldebug doesn't work with a pristine emacs installation Apr 14

Ralf Treinen

Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg' Apr 01

Roberto Di Cosmo

Bug#668027: ocaml-batteries-included: Lots of mismatches between what the documentation says and what the package does. Apr 08

Sylvain Le Gall

Stéphane Glondu

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Apr 26
Re: which sexplib, type-conv and bin_prot Apr 04
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Apr 07

Stéphane Glondu

Accepted coq 8.4~beta+dfsg-4 (source all amd64) Apr 06
Accepted coq 8.4~beta+dfsg-4 (source all amd64) Apr 06

Stéphane Glondu

Bug#667447: 2 patches for ocamlsdl Apr 04
Bug#667447: 2 patches for ocamlsdl Apr 04

The last update was on 12:22 GMT Sun Aug 16. There are 123 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