debian-ocaml-maint Dec 2016 by subject

[First Page] <
[previous page]
Page 1 of 1 >
[next page]
[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
aac-tactics_8.6.1-1_amd64.changes ACCEPTED into unstable Accepted approx 5.7-2 (source amd64) into unstable Accepted approx 5.7-3 (source amd64) into unstable Accepted coq 8.6-1 (source amd64) into unstable Accepted coq 8.6-2 (source amd64) into unstable Accepted coq 8.6-3 (source amd64) into unstable Accepted coq 8.6-4 (source amd64) into unstable alt-ergo_1.30-1_source.changes ACCEPTED into unstable apron is marked for autoremoval from testing Bug#610835: Installing caml pulls in half the world Bug#719171: closed by Mehdi Dogguy <mehdi@dogguy.org> (Re: Bug#719171: ocaml-mode: caml-set-compile-command quote filename) Bug#719171: marked as done (ocaml-mode: caml-set-compile-command quote filename) Bug#736761: coq and Emacs 2x Bug#792502: marked as done (ocaml: obey hardening LDFLAGS) Bug#824139: marked as done (ocaml: CVE-2015-8869) Bug#827518: marked as done (ocaml: missing dependency on libncurses-dev) Bug#827518: ocaml: missing dependency on libncurses-dev Bug#838188: marked as done (ocaml: temporary preprocessed file paths make the ocaml compiler produce unreproducible output) Bug#843313: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Bug#843319: FTBFS: libsexplib-camlp4-dev is no longer available Bug#844777: marked as done (why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie') Bug#845363: marked as done (liquidsoap: removal of libschroedinger) Bug#845366: marked as done (ocaml-schroedinger: removal of libschroedinger) Bug#845878: marked as done (mysql-ocaml: switch to build depend on the metapackage default-libmysqlclient-dev) Bug#846504: marked as done (typerep build-depends on obsolete package libbin-prot-camlp4-dev) Bug#846504: typerep build-depends on obsolete package libbin-prot-camlp4-dev Bug#846943: Removed package(s) from unstable Bug#846943: RM: ocaml-schroedinger -- RoQA; schroedinger scheduled for removal Bug#848619: marked as done (ocaml-gettext: Spelling error reflecting in other packages) Bug#848619: ocaml-gettext: Spelling error reflecting in other packages cmigrep_1.5-14_source.changes ACCEPTED into unstable coq_8.6-1_amd64.changes ACCEPTED into unstable coq_8.6-2_amd64.changes ACCEPTED into unstable coq_8.6-3_amd64.changes ACCEPTED into unstable coq_8.6-4_amd64.changes ACCEPTED into unstable custom-printf is marked for autoremoval from testing failed armel build of coq 8.6-1 failed armhf build of coq 8.6-1 failed mips build of coq 8.6-1 failed mips build of coq 8.6-2 failed mipsel build of coq 8.6-1 failed mipsel build of coq 8.6-2 failed ppc64el build of coq 8.6-1 failed s390x build of coq 8.6-1 frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable frama-c_20161101+silicon+dfsg-2_amd64.changes ACCEPTED into unstable hlins_0.39-22_source.changes ACCEPTED into unstable ledit_2.03-5_source.changes ACCEPTED into unstable liquidsoap_1.1.1-7.2_source.changes ACCEPTED into unstable mysql-ocaml is marked for autoremoval from testing mysql-ocaml_1.2.0-3_source.changes ACCEPTED into unstable Next upload of src:ocaml ocaml-gettext_0.3.5-3_amd64.changes ACCEPTED into unstable ocaml_4.02.3-9_amd64.changes ACCEPTED into unstable ocamlwc_0.3-13_source.changes ACCEPTED into unstable ocamlweb_1.39-4_source.changes ACCEPTED into unstable ocamlweb_1.39-5_source.changes ACCEPTED into unstable ocplib-simplex_0.3-1_amd64.changes ACCEPTED into unstable, unstable otags is marked for autoremoval from testing package confluence Processed: [bts-link] source package ocaml Processed: Bump default-mysql bugs to serious Processed: found 845912 in 3.0.2-4, tagging 845912, found 845910 in 3.0.2-1, found 845905 in 0.10.16-1 ... Processed: found 845917 in 1.30.0+dfsg-1, found 845914 in 6.1.1-1, found 845911 in 2.2.9-1 ..., tagging 845828 ... Processed: Proper version tracking Processed: tagging 609133 Processed: tagging 719171 Processed: tagging 833251, tagging 833250, tagging 833241, tagging 833240, tagging 833239, tagging 833227 ... Processed: tagging 843631, tagging 843414, found 845926 in 0.99.2-1, found 846504 in 113.00.00-1 ... Processing of aac-tactics_8.6.1-1_amd64.changes Processing of alt-ergo_1.30-1_source.changes Processing of cmigrep_1.5-14_source.changes Processing of coq_8.6-1_amd64.changes Processing of coq_8.6-2_amd64.changes Processing of coq_8.6-3_amd64.changes Processing of coq_8.6-4_amd64.changes Processing of frama-c_20161101+silicon+dfsg-1_amd64.changes Processing of frama-c_20161101+silicon+dfsg-2_amd64.changes Processing of hlins_0.39-22_source.changes Processing of ledit_2.03-5_source.changes Processing of mysql-ocaml_1.2.0-3_source.changes Processing of ocaml-gettext_0.3.5-3_amd64.changes Processing of ocaml_4.02.3-9_amd64.changes Processing of ocamlwc_0.3-13_source.changes Processing of ocamlweb_1.39-4_source.changes Processing of ocamlweb_1.39-5_source.changes Processing of ssreflect_1.6.1-1_amd64.changes Processing of ssreflect_1.6.1-2_amd64.changes Processing of typerep_113.00.00-3_source.changes Processing of why_2.36-3_source.changes Processing of why_2.36-4_source.changes Processing of why_2.36-5_source.changes ssreflect_1.6.1-1_amd64.changes ACCEPTED into unstable ssreflect_1.6.1-2_amd64.changes ACCEPTED into unstable typerep_113.00.00-3_source.changes ACCEPTED into unstable why_2.36-3_source.changes ACCEPTED into unstable why_2.36-4_source.changes ACCEPTED into unstable why_2.36-5_source.changes ACCEPTED into unstable The last update was on 10:28 GMT Thu May 16. There are 114 messages. Page 1 of 1.

<<
[previous month]
|<
[first page]
<
[previous page]
Page 1 of 1
>
[next page]
>|
[last page]
>>
[next month]

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

Mail converted by MHonArc