debian-ocaml-maint Dec 2016 by author

[previous page]

Page 1 of 1

[next page]

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

Andreas Beckmann

Bug#736761: coq and Emacs 2x Dec 06

Debian Bug Tracking System

Processed: Bump default-mysql bugs to serious Dec 09
Bug#838188: marked as done (ocaml: temporary preprocessed file paths make the ocaml compiler produce unreproducible output) Dec 22
Bug#824139: marked as done (ocaml: CVE-2015-8869) Dec 22
Processed: found 845912 in 3.0.2-4, tagging 845912, found 845910 in 3.0.2-1, found 845905 in 0.10.16-1 ... Dec 10
Bug#845878: marked as done (mysql-ocaml: switch to build depend on the metapackage default-libmysqlclient-dev) Dec 11
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 ... Dec 10
Processed: tagging 843631, tagging 843414, found 845926 in 0.99.2-1, found 846504 in 113.00.00-1 ... Dec 06
Processed: [bts-link] source package ocaml Dec 08
Processed: tagging 833251, tagging 833250, tagging 833241, tagging 833240, tagging 833239, tagging 833227 ... Dec 04
Bug#719171: marked as done (ocaml-mode: caml-set-compile-command quote filename) Dec 26
Bug#792502: marked as done (ocaml: obey hardening LDFLAGS) Dec 22
Bug#846504: marked as done (typerep build-depends on obsolete package libbin-prot-camlp4-dev) Dec 02
Bug#845366: marked as done (ocaml-schroedinger: removal of libschroedinger) Dec 05
Bug#827518: marked as done (ocaml: missing dependency on libncurses-dev) Dec 26
Bug#848619: marked as done (ocaml-gettext: Spelling error reflecting in other packages) Dec 21
Processed: Proper version tracking Dec 12
Bug#844777: marked as done (why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie') Dec 18
Bug#845363: marked as done (liquidsoap: removal of libschroedinger) Dec 01
Bug#843313: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Dec 11
Processed: tagging 609133 Dec 13
Processed: tagging 719171 Dec 13

Debian buildds

failed s390x build of coq 8.6-1 Dec 28
failed armel build of coq 8.6-1 Dec 28
failed mipsel build of coq 8.6-1 Dec 28
failed mips build of coq 8.6-1 Dec 29
failed ppc64el build of coq 8.6-1 Dec 28
failed mipsel build of coq 8.6-2 Dec 29
failed armhf build of coq 8.6-1 Dec 28
failed mips build of coq 8.6-2 Dec 29

Debian FTP Masters

Processing of why_2.36-5_source.changes Dec 27
Processing of frama-c_20161101+silicon+dfsg-2_amd64.changes Dec 21
Processing of ledit_2.03-5_source.changes Dec 17
coq_8.6-3_amd64.changes ACCEPTED into unstable Dec 29
Processing of ocamlwc_0.3-13_source.changes Dec 10
Processing of why_2.36-4_source.changes Dec 27
Processing of mysql-ocaml_1.2.0-3_source.changes Dec 11
ocamlweb_1.39-5_source.changes ACCEPTED into unstable Dec 14
why_2.36-3_source.changes ACCEPTED into unstable Dec 18
Processing of coq_8.6-4_amd64.changes Dec 30
Processing of ocamlweb_1.39-5_source.changes Dec 14
coq_8.6-1_amd64.changes ACCEPTED into unstable Dec 28
ocaml_4.02.3-9_amd64.changes ACCEPTED into unstable Dec 22
aac-tactics_8.6.1-1_amd64.changes ACCEPTED into unstable Dec 30
Processing of ocaml_4.02.3-9_amd64.changes Dec 22
Processing of ocaml-gettext_0.3.5-3_amd64.changes Dec 21
Bug#846943: Removed package(s) from unstable Dec 05
Processing of frama-c_20161101+silicon+dfsg-1_amd64.changes Dec 21
Processing of hlins_0.39-22_source.changes Dec 16
ocaml-gettext_0.3.5-3_amd64.changes ACCEPTED into unstable Dec 21
Processing of aac-tactics_8.6.1-1_amd64.changes Dec 30
Processing of coq_8.6-3_amd64.changes Dec 29
Processing of ssreflect_1.6.1-1_amd64.changes Dec 30
mysql-ocaml_1.2.0-3_source.changes ACCEPTED into unstable Dec 11
liquidsoap_1.1.1-7.2_source.changes ACCEPTED into unstable Dec 01
ledit_2.03-5_source.changes ACCEPTED into unstable Dec 17
Processing of why_2.36-3_source.changes Dec 18
alt-ergo_1.30-1_source.changes ACCEPTED into unstable Dec 12
frama-c_20161101+silicon+dfsg-2_amd64.changes ACCEPTED into unstable Dec 21
ocamlwc_0.3-13_source.changes ACCEPTED into unstable Dec 10
coq_8.6-4_amd64.changes ACCEPTED into unstable Dec 30
Bug#846943: Removed package(s) from unstable Dec 05
ssreflect_1.6.1-1_amd64.changes ACCEPTED into unstable Dec 30
ocplib-simplex_0.3-1_amd64.changes ACCEPTED into unstable, unstable Dec 08
Processing of coq_8.6-4_amd64.changes Dec 30
frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 21
Processing of ssreflect_1.6.1-2_amd64.changes Dec 30
Processing of coq_8.6-4_amd64.changes Dec 30
hlins_0.39-22_source.changes ACCEPTED into unstable Dec 16
Processing of ocamlweb_1.39-4_source.changes Dec 10
Processing of coq_8.6-1_amd64.changes Dec 28
typerep_113.00.00-3_source.changes ACCEPTED into unstable Dec 02
Processing of typerep_113.00.00-3_source.changes Dec 02
Processing of cmigrep_1.5-14_source.changes Dec 09
coq_8.6-2_amd64.changes ACCEPTED into unstable Dec 28
ocamlweb_1.39-4_source.changes ACCEPTED into unstable Dec 10
Processing of alt-ergo_1.30-1_source.changes Dec 12
cmigrep_1.5-14_source.changes ACCEPTED into unstable Dec 09
Processing of coq_8.6-2_amd64.changes Dec 28
why_2.36-5_source.changes ACCEPTED into unstable Dec 27
why_2.36-4_source.changes ACCEPTED into unstable Dec 27
ssreflect_1.6.1-2_amd64.changes ACCEPTED into unstable Dec 30

Debian testing autoremoval watch

custom-printf is marked for autoremoval from testing Dec 31
otags is marked for autoremoval from testing Dec 31
mysql-ocaml is marked for autoremoval from testing Dec 10
apron is marked for autoremoval from testing Dec 06

Enrico Tassi

Accepted coq 8.6-1 (source amd64) into unstable Dec 28
Accepted coq 8.6-3 (source amd64) into unstable Dec 29
Accepted coq 8.6-4 (source amd64) into unstable Dec 30
Accepted coq 8.6-2 (source amd64) into unstable Dec 28

Eric Cooper

Accepted approx 5.7-2 (source amd64) into unstable Dec 04
Accepted approx 5.7-3 (source amd64) into unstable Dec 18

Hendrik Tews

Bug#843319: FTBFS: libsexplib-camlp4-dev is no longer available Dec 31

Joao Eriberto Mota Filho

Bug#848619: ocaml-gettext: Spelling error reflecting in other packages Dec 19

Juliusz Chroboczek

Bug#610835: Installing caml pulls in half the world Dec 26

Kevin Ryde

Bug#719171: closed by Mehdi Dogguy <mehdi@dogguy.org> (Re: Bug#719171: ocaml-mode: caml-set-compile-command quote filename) Dec 29

Mehdi

Re: package confluence Dec 21

Mehdi Dogguy

Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 22
Bug#827518: ocaml: missing dependency on libncurses-dev Dec 26
Bug#610835: Installing caml pulls in half the world Dec 26
Re: package confluence Dec 21
Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 22
Next upload of src:ocaml Dec 12
Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 21
Re: Next upload of src:ocaml Dec 15

peter green

Bug#846504: typerep build-depends on obsolete package libbin-prot-camlp4-dev Dec 01

Ralf Treinen

Re: Next upload of src:ocaml Dec 13
Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 21
Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 22
package confluence Dec 11
Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable Dec 22
Re: package confluence Dec 21

Sebastian Ramacher

Bug#846943: RM: ocaml-schroedinger -- RoQA; schroedinger scheduled for removal Dec 04

whitequark

Bug#827518: ocaml: missing dependency on libncurses-dev Dec 26

The last update was on 10:28 GMT Thu May 16. There are 114 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc