debian-ocaml-maint Apr 2012 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
2 patches for ocamlsdl
aac-tactics_0.2.pl2-6_amd64.changes ACCEPTED into unstable
Accepted coq 8.4~beta+dfsg-4 (source all amd64)
bibtex2html_1.97-2_amd64.changes ACCEPTED into unstable
[bts-link] source package mldonkey
[bts-link] source package ocaml
Bug#309036: marked as done (unison-gtk: skip button doesn't allow for repeated clicks)
Bug#309036: unison-gtk: skip button doesn't allow for repeated clicks [FIXED]
Bug#335578: marked as done (ocamlopt.opt segfaults on Alpha)
Bug#338148: marked as done ([alpha] regression: ocamlopt.opt segfaults)
Bug#339061: marked as done (ocamlopt emits buggy IA64 programs)
Bug#345793: marked as done (mldonkey: fails to build on alpha)
Bug#452340: ocaml-mode: Can't follow cross-refs to elisp source files in Emacs
Bug#614933: camldebug doesn't work with a pristine emacs installation
Bug#614933: camldebug doesn't work with a pristine emacs installation
Bug#657496: manual is compressed
Bug#657496: marked as done (unison: manual empty)
Bug#657496: unison: manual empty
Bug#661716: marked as done (ocaml: adapt testsuite/tests/asmcomp/i386.S for hurd-i386)
Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path
Bug#662921: marked as done (libxmlm-ocaml-dev: wrong output with custom functions)
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Bug#665378: marked as done (dose-distcheck: dose-debcheck --explain returns incorrect version numbers)
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.)
Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg'
Bug#666572: marked as done (bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg')
Bug#666594: marked as done (matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located)
Bug#666825: ocamlnet: sourceful transition towards Apache 2.4
Bug#667283: marked as done (mldonkey: ftbfs with GCC-4.7)
Bug#667283: mldonkey: ftbfs with GCC-4.7
Bug#667447: 2 patches for ocamlsdl
Bug#667820: fixed
Bug#668027: ocaml-batteries-included: Lots of mismatches between what the documentation says and what the package does.
Bug#668751: liquidsoap: unowned directory after purge: /usr/share/liquidsoap
Bug#669539: alt-ergo: FTBFS: make[2]: autoconf: Command not found
Bug#670108: dose3: formatting errors in manpages
Bug#670474: libpgocaml-ocaml-dev: Conflicts between extlib and camomile about UChar
Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root
Bug#670868: create_RGB_surface ignores flags
Bug#670869: Missing binding for SDL_ConvertSurface
camlidl_1.05-14_amd64.changes ACCEPTED into unstable
camlidl override disparity
coccinelle_1.0.0~rc12.deb-1_amd64.changes ACCEPTED into experimental
coccinelle_1.0.0~rc12.deb-2_amd64.changes ACCEPTED into experimental
coccinelle_1.0.0~rc12.deb-3_amd64.changes ACCEPTED into experimental
coccinelle_1.0.0~rc12.deb-4_amd64.changes ACCEPTED into unstable
coq 8.3.pl4+dfsg-1 MIGRATED to testing
coq_8.4~beta+dfsg-4_amd64.changes ACCEPTED into experimental
coq-doc_8.3pl4-1_amd64.changes ACCEPTED into unstable
dh-ocaml_1.0.5_amd64.changes ACCEPTED into unstable
dose3_2.9.15-1_amd64.changes ACCEPTED into unstable
eliom_2.1.1b-1_amd64.changes ACCEPTED into experimental
eliom_2.1.1b-1_amd64.changes is NEW
eliom_2.1.1b-2_armel.changes ACCEPTED into experimental
hol-light_20120423-1_amd64.changes is NEW
matita_0.5.8-4_amd64.changes ACCEPTED into unstable
mldonkey_3.1.1-1_amd64.changes ACCEPTED into unstable
ocaml_4.00.0~~dev15+12379-1_amd64.changes ACCEPTED into experimental
ocaml-data-notation_0.0.8-1_amd64.changes ACCEPTED into unstable
ocamlmod_0.0.2-1_amd64.changes ACCEPTED into unstable
ocamlmod_0.0.2-1_amd64.changes is NEW
Processed: [bts-link] source package mldonkey
Processed: [bts-link] source package ocaml
Processed: bug 659149 is forwarded to http://caml.inria.fr/mantis/view.php?id=5572
Processed: bug 667283 is forwarded to https://savannah.nongnu.org/bugs/index.php?36078
Processed: bug 667447 is forwarded to Olivier Andrieu <oandrieu@gmail.com>
Processed: Fixed upstream
Processed: limit source to mldonkey, tagging 667283
Processed: Re: Bug#657496: unison: manual empty
Processed: Re: Processed (with 4 errors): Re: Bug#666276: librsvg2-bin: /usr/bin/rsvg is not shipped anymore
Processed: submitter 667447
Processed: tagging 666572
Processing of aac-tactics_0.2.pl2-6_amd64.changes
Processing of bibtex2html_1.97-2_amd64.changes
Processing of camlidl_1.05-14_amd64.changes
Processing of coccinelle_1.0.0~rc12.deb-1_amd64.changes
Processing of coccinelle_1.0.0~rc12.deb-2_amd64.changes
Processing of coccinelle_1.0.0~rc12.deb-3_amd64.changes
Processing of coccinelle_1.0.0~rc12.deb-4_amd64.changes
Processing of coq_8.4~beta+dfsg-4_amd64.changes
Processing of coq-doc_8.3pl4-1_amd64.changes
Processing of dh-ocaml_1.0.5_amd64.changes
Processing of dose3_2.9.15-1_amd64.changes
Processing of eliom_2.1.1b-1_amd64.changes
Processing of eliom_2.1.1b-2_armel.changes
Processing of hol-light_20120423-1_amd64.changes
Processing of matita_0.5.8-4_amd64.changes
Processing of mldonkey_3.1.1-1_amd64.changes
Processing of ocaml_4.00.0~~dev15+12379-1_amd64.changes
Processing of ocaml-data-notation_0.0.8-1_amd64.changes
Processing of ocamlmod_0.0.2-1_amd64.changes
Processing of pgocaml_1.5-1_amd64.changes
Processing of react_0.9.3-1_amd64.changes
Processing of ssreflect_1.3pl2-4_amd64.changes
Processing of unison_2.40.65-1_armel.changes
Processing of unison_2.40.65-2_amd64.changes
Processing of uuidm_0.9.4-1_amd64.changes
Processing of why_2.30+dfsg-4_amd64.changes
Processing of xmlm_1.1.0-1_amd64.changes
react_0.9.3-1_amd64.changes ACCEPTED into unstable
ssreflect_1.3pl2-4_amd64.changes ACCEPTED into unstable
ssreflect override disparity
unison_2.40.65-1_armel.changes ACCEPTED into unstable
unison_2.40.65-2_amd64.changes ACCEPTED into unstable
uuidm_0.9.4-1_amd64.changes ACCEPTED into unstable
Re: which sexplib, type-conv and bin_prot
why_2.30+dfsg-4_amd64.changes ACCEPTED into unstable
xmlm_1.1.0-1_amd64.changes ACCEPTED into unstable
The last update was on 12:22 GMT Sun Aug 16. There are 123 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc