debian-ocaml-maint Dec 2011 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[bts-link] source package ocaml
aac-tactics_0.2.pl2-4_amd64.changes ACCEPTED into unstable
Accepted coq 8.3.pl3+dfsg-1 (source all amd64)
alt-ergo_0.94-1_amd64.changes ACCEPTED into unstable
Bug#651131: dh-ocaml: debhelper sequence cannot be used with additional options
Bug#651131: marked as done (dh-ocaml: debhelper sequence cannot be used with additional options)
Bug#651553: libexpat-ocaml-dev: typo in package description
Bug#652257: frama-c: FTBFS: configure: error: cannot find OcamlGraph in the current directory.
Bug#652348: ocaml: module Graphics: broken [sound] function
coccinelle_1.0.0~rc7.deb-2_amd64.changes ACCEPTED into experimental
coccinelle_1.0.0~rc7.deb-3_amd64.changes ACCEPTED into unstable
coccinelle_1.0.0~rc7.deb-4_amd64.changes ACCEPTED into unstable
coccinelle_1.0.0~rc7.deb-4_amd64.changes is NEW
coccinelle_1.0.0~rc7.deb-5_amd64.changes ACCEPTED into unstable
coq-float_8.2-1.2-9_amd64.changes ACCEPTED into unstable
coq_8.3.pl3+dfsg-1_amd64.changes ACCEPTED into unstable
dh-ocaml_1.0.3_amd64.changes ACCEPTED into unstable
js-of-ocaml_1.0.9-1_amd64.changes ACCEPTED into unstable
lwt_2.3.2-1_amd64.changes ACCEPTED into unstable
New ocaml packages
nss-passwords_0.1-1_amd64.changes ACCEPTED into unstable
ocaml-deriving-ocsigen_0.3c-1_amd64.changes ACCEPTED into unstable
ocaml-sqlexpr_0.4.1-1_amd64.changes ACCEPTED into unstable
ocamlgraph_1.8.1-1_amd64.changes ACCEPTED into unstable
ocamlmakefile_6.33.0-1_amd64.changes ACCEPTED into unstable
Orphaning ara
Processed: [bts-link] source package ocaml
Processed: limit source to frama-c, tagging 652257
Processed: Re: dh-ocaml: debhelper sequence cannot be used with additional options
Processed: retitle 484497 to please ship the menhir pdf manual
Processed: tagging 651553
Processing of aac-tactics_0.2.pl2-4_amd64.changes
Processing of alt-ergo_0.94-1_amd64.changes
Processing of coccinelle_1.0.0~rc7.deb-2_amd64.changes
Processing of coccinelle_1.0.0~rc7.deb-3_amd64.changes
Processing of coccinelle_1.0.0~rc7.deb-4_amd64.changes
Processing of coccinelle_1.0.0~rc7.deb-5_amd64.changes
Processing of coq-float_8.2-1.2-9_amd64.changes
Processing of coq_8.3.pl3+dfsg-1_amd64.changes
Processing of dh-ocaml_1.0.3_amd64.changes
Processing of js-of-ocaml_1.0.9-1_amd64.changes
Processing of lwt_2.3.2-1_amd64.changes
Processing of ocaml-deriving-ocsigen_0.3c-1_amd64.changes
Processing of ocaml-sqlexpr_0.4.1-1_amd64.changes
Processing of ocamlgraph_1.8.1-1_amd64.changes
Processing of ocamlmakefile_6.33.0-1_amd64.changes
Processing of ssreflect_1.3pl2-2_amd64.changes
Processing of tyxml_2.0.1c-1_amd64.changes
ssreflect override disparity
ssreflect_1.3pl2-2_amd64.changes ACCEPTED into unstable
tyxml_2.0.1c-1_amd64.changes ACCEPTED into unstable
The last update was on 18:11 GMT Mon Jul 08. There are 64 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc