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