debian-ocaml-maint Dec 2016 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]
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.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc