debian-ocaml-maint Jul 2010 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Accepted approx 4.4-1 (source amd64)
Accepted coq 8.2.pl2+dfsg-1 (source all amd64)
Accepted coq 8.3~beta0+13298-1 (source all amd64)
Accepted coq 8.3~beta0+13323-1 (source all amd64)
apron_0.9.10-5_amd64.changes ACCEPTED
[bts-link] source package ocaml
Bug#467563: camlp5 strict vs transitional
Bug#585452: marked as done (coq: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance)
Bug#585459: marked as done (why: FTBFS with OCaml 3.12 because of changes in Map)
Bug#586391: marked as done (ocaml-batteries: FTBFS with OCaml 3.12 (probably) because of changes in Camlp4)
Bug#586493: marked as done (ocaml-batteries: FTBFS with OCaml 3.12 (probably) because of changes in Camlp4)
Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns
Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns
Bug#587982: RFP: glmlite -- OCaml bindings for OpenGL
Bug#587990: fixed
Bug#587998: edos-distcheck: Please support architecture wildcards
Re: Bug#587998: edos-distcheck: Please support architecture wildcards
Bug#588095: libcore-ocaml-doc: core-api modules documentation is empty
Bug#588283: fixed
Bug#588371: dom-new-git-repo: not usable
Bug#588764: edos-debcheck: check that all package stanzas have consistent architecture
Bug#588764: edos-debcheck: should display architecture in results when checking more than one architecture
Bug#588978: ocaml-nox: ocamlbuild cannot handle symlink loops
Bug#589032: libocamlgraph: copyright file doesn't mention LGPL exception
Bug#589359: marked as done (doesn't build with libmpfr-dev from mpfr4)
Bug#589359: Non-coordinated transition leading some packages to FTBFS
Bug#589457: marked as done (ocaml-csv has unnecessary build-dep on extlib)
Bug#589457: ocaml-csv has unnecessary build-dep on extlib
Bug#589999: coq: FTBFS on sparc: test failure
Bug#590973: libpcre-ocaml-dev: Typo in package description
Re: [buildd-tools-devel] Bug#587998: edos-distcheck: Please support architecture wildcards
camlidl_1.05-13_amd64.changes ACCEPTED
camlidl override disparity
Re: [Caml-list] OCaml 3.12.0+rc1
coccinelle_0.2.3.deb-1_amd64.changes ACCEPTED
coq_8.2.pl2+dfsg-1_amd64.changes ACCEPTED
coq_8.3~beta0+13298-1_amd64.changes ACCEPTED
coq_8.3~beta0+13298-1_amd64.changes is NEW
coq_8.3~beta0+13323-1_amd64.changes ACCEPTED
coq-float_8.2-1.2-5_amd64.changes ACCEPTED
coq-float override disparity
dh-ocaml_0.9.5_i386.changes ACCEPTED
frama-c_20100401+boron+dfsg-3_amd64.changes ACCEPTED
frama-c_20100401+boron+dfsg-4_i386.changes ACCEPTED
frama-c override disparity
An interesting package that you may be interested in
Kallid sõbrad olen uudis neile
join the team
mldonkey 3.0.2
ocaml-batteries_1.2.2-1_amd64.changes ACCEPTED
ocaml-csv_1.2.1-1_amd64.changes ACCEPTED
Processed: bug 520173 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=294&group_id=35&atid=283
Processed: bug 540797 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=293&group_id=35&atid=283
Processed: bug 560134 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=297&group_id=35&atid=283
Processed: bug 569486 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=298&group_id=35&atid=283
Processed: limit source to apron, tagging 589359
Processed: limit source to dh-ocaml, tagging 588371
Processed: limit source to pcre-ocaml, tagging 590973
Processed: reassign
Processed: reassign 589999 to ocaml, forcibly merging 570920 589999
Processed: Re: Bug#589359: Non-coordinated transition leading some packages to FTBFS
Processed: retitle 588764 to edos-debcheck: check that all package stanzas have consistent architecture
Processed: tagging 586390, tagging 585453, tagging 585454
Processed (with 1 errors): forcibly merging 570920 589999, retitle 570920 to ocaml: error in the num library on sparc
Processing of apron_0.9.10-5_amd64.changes
Processing of camlidl_1.05-13_amd64.changes
Processing of coccinelle_0.2.3.deb-1_amd64.changes
Processing of coq_8.2.pl2+dfsg-1_amd64.changes
Processing of coq_8.3~beta0+13298-1_amd64.changes
Processing of coq_8.3~beta0+13323-1_amd64.changes
Processing of coq-float_8.2-1.2-5_amd64.changes
Processing of dh-ocaml_0.9.5_i386.changes
Processing of frama-c_20100401+boron+dfsg-3_amd64.changes
Processing of frama-c_20100401+boron+dfsg-4_i386.changes
Processing of ocaml-batteries_1.2.2-1_amd64.changes
Processing of ocaml-csv_1.2.1-1_amd64.changes
Processing of ssreflect_1.2+dfsg-5_amd64.changes
Processing of ssreflect_1.2+dfsg-6_amd64.changes
Processing of why_2.26+dfsg-2_i386.changes
Really need help with geneweb
Re: Request for packaging: glMLite
ssreflect_1.2+dfsg-5_amd64.changes ACCEPTED
ssreflect_1.2+dfsg-6_amd64.changes ACCEPTED
ssreflect override disparity
Re: Trouble with compiling hivex on ! (amd64-linux || i386-linux)
why_2.26+dfsg-2_i386.changes ACCEPTED
The last update was on 12:22 GMT Sun Aug 16. There are 112 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc