debian-ocaml-maint Dec 2019 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu

• [Git][ocaml-team/biniou] Pushed new tag archive/debian/1.2.1-1 Dec 19
• [Git][ocaml-team/ocaml-csv][master] 7 commits: New upstream version 2.3 Dec 19
• [Git][ocaml-team/ocaml-csv][pristine-tar] 2 commits: pristine-tar data for ocaml-csv_2.3.orig.tar.gz Dec 19
• [Git][ocaml-team/ocurl] Pushed new tag upstream/0.9.0 Dec 03
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.08.1-5 Dec 02
• [Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.6.0-10 Dec 10
• [Git][ocaml-team/cryptokit][pristine-tar] pristine-tar data for cryptokit_1.14.orig.tar.gz Dec 19
• [Git][ocaml-team/camlp5][pristine-tar] 2 commits: pristine-tar data for camlp5_7.09.orig.tar.gz Dec 29
• [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.14 Dec 19
• [Git][ocaml-team/belenios][upstream] 2 commits: New upstream version 1.9.1+dfsg Dec 10
• [Git][ocaml-team/belenios][master] 8 commits: New upstream version 1.9.1+dfsg Dec 10
• [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-2 Dec 02
• [Git][ocaml-team/biniou][pristine-tar] pristine-tar data for biniou_1.2.1.orig.tar.gz Dec 19
• [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20190729-3 Dec 29
• [Git][ocaml-team/biniou] Pushed new tag upstream/1.2.1 Dec 19
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.08.1-6 Dec 29
• [Git][ocaml-team/biniou] Pushed new tag debian/1.2.1-1 Dec 19
• [Git][ocaml-team/cryptokit] Pushed new tag archive/debian/1.14-1 Dec 19
• [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-4 Dec 04
• [Git][ocaml-team/ocurl] Pushed new tag archive/debian/0.9.0-1 Dec 03
• [Git][ocaml-team/ocaml] Pushed new tag debian/4.08.1-6 Dec 29
• [Git][ocaml-team/belenios][pristine-tar] 2 commits: pristine-tar data for belenios_1.9.1+dfsg.orig.tar.xz Dec 10
• [Git][ocaml-team/ocaml] Pushed new tag debian/4.08.1-5 Dec 02
• [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-4 Dec 04
• [Git][ocaml-team/ocurl][pristine-tar] pristine-tar data for ocurl_0.9.0.orig.tar.gz Dec 03
• [Git][ocaml-team/ocurl] Pushed new tag debian/0.9.0-1 Dec 03
• [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-3 Dec 03
• [Git][ocaml-team/hol-light] Pushed new tag debian/20190729-3 Dec 29
• [Git][ocaml-team/camlbz2] Pushed new tag debian/0.6.0-10 Dec 10
• [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-3 Dec 03
• [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-2 Dec 02
• [Git][ocaml-team/cryptokit] Pushed new tag debian/1.14-1 Dec 19

Stéphane Glondu

• Bug#944277: actually a bug in camlp5 Dec 29
• Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Dec 03
• Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Dec 03
• Bug#944277: actually a bug in camlp5 Dec 29
• Bug#819341: Updated patch Dec 04
• Bug#819341: Updated patch Dec 02
• Bug#946041: fixed in unison 2.48.4-3 Dec 05

Stéphane Glondu

• Accepted ocurl 0.9.0-1 (source) into unstable Dec 03
• Re: Bug#946041: unison-latest-stable: can't synchronize with Debian 10 (buster) Dec 03
• Re: pyml_20190626-1_amd64.changes REJECTED Dec 29

Benjamin Riefenstahl

• Bug#819341: Updated patch Dec 03
• Bug#819341: Updated patch Dec 04

Christopher Cramer

• Bug#922692: patch Dec 18
• Bug#944277: actually a bug in camlp5 Dec 19

Debian Bug Tracking System

• Bug#761456: marked as done (ocaml: FTBFS on hppa: test errors) Dec 02
• Processed: add patch tag to bug Dec 19
• Bug#630898: marked as done (ocaml-compiler-libs: Contains a duplicate of 'outcometree.{cmi.mli}, as provided by ocaml-nox (a dependency)) Dec 02
• Bug#898272: marked as done (libbiniou-ocaml: New upstream release (1.2.0)) Dec 19
• Bug#945851: marked as done (libnum-ocaml-dev: missing Breaks+Replaces: ocaml-nox (<< 4.08)) Dec 02
• Processed: ocaml-man: empty package in arch-indep builds Dec 22
• Bug#517134: marked as done (ocaml-nox: install some files that are also installed by ocaml-compiler-libs) Dec 02
• Processed: block 945886 with 944365 Dec 28
• Processed: notfound 944776 in prepair/0.7.1-3+b2, found 944776 in 0.7.1-3, tagging 944775, tagging 946114 ... Dec 04
• Processed: affects 947197, found 947197 in ocaml/4.08.1-5 Dec 22
• Processed: block 912946 with 885267 885287 885308 890157 937114 885135 878698 890168 885476 885527 885486 938637 885140 Dec 28
• Bug#946041: marked as done (unison-latest-stable: can't synchronize with Debian 10 (buster)) Dec 03
• Processed: block 946817 with 946980 Dec 19
• Bug#945495: marked as done (ocaml-nox: missing Breaks+Replaces: ocaml-compiler-libs (<< 4.08)) Dec 02
• Processed: Bug#898272 marked as pending in biniou Dec 19
• Processed: Bug#945495 marked as pending in ocaml Dec 02
• Processed (with 1 error): CoqIDE supports GTK 3 Dec 31
• Bug#944277: marked as done (FTBFS with OCaml 4.08.1 (Error while running external preprocessor)) Dec 29
• Bug#944602: marked as done (FTBFS with OCaml 4.08.1 (Need update for HTTP_VERSION)) Dec 03
• Processed: CoqIDE supports lablgtk3 Dec 31
• Bug#947197: marked as done (ocaml-man: empty package in arch-indep builds) Dec 29
• Bug#925076: marked as done (Updating the ocaml-csv Uploaders list) Dec 19

Debian FTP Masters

• Processing of camlp5_7.10-1_source.changes Dec 29
• pyml_20190626-1_amd64.changes is NEW Dec 29
• Processing of unison_2.48.4-4_source.changes Dec 04
• coq_8.10.2-1_amd64.changes REJECTED Dec 23
• ocaml-num_1.3-1_source.changes ACCEPTED into unstable Dec 02
• ocaml_4.08.1-5_source.changes ACCEPTED into unstable Dec 02
• Processing of ocamlmakefile_6.39.2-1_source.changes Dec 10
• tuareg-mode_2.1.0-4_source.changes ACCEPTED into unstable Dec 06
• ocurl_0.9.0-1_source.changes ACCEPTED into unstable Dec 03
• Processing of tuareg-mode_2.1.0-4_source.changes Dec 06
• cryptokit_1.14-1_source.changes ACCEPTED into unstable Dec 19
• Processing of ocaml_4.08.1-6_source.changes Dec 29
• ocaml-csv_2.4-1_source.changes ACCEPTED into unstable Dec 19
• biniou_1.2.1-1_source.changes ACCEPTED into unstable Dec 19
• unison_2.48.4-4_source.changes ACCEPTED into unstable Dec 04
• ssreflect_1.10.0+dfsg-1_source.changes ACCEPTED into unstable Dec 06
• Processing of ocaml-csv_2.4-1_source.changes Dec 19
• Processing of coq_8.10.2-1_amd64.changes Dec 23
• Processing of ocaml_4.08.1-5_source.changes Dec 02
• hol-light_20190729-3_source.changes ACCEPTED into unstable Dec 29
• Processing of coq_8.10.2-1_amd64.changes Dec 23
• Processing of biniou_1.2.1-1_source.changes Dec 19
• Processing of ssreflect_1.10.0+dfsg-1_source.changes Dec 06
• Processing of belenios_1.10+dfsg-1_source.changes Dec 10
• Processing of cryptokit_1.14-1_source.changes Dec 19
• Processing of unison_2.48.4-3_source.changes Dec 03
• ocamlmakefile_6.39.2-1_source.changes ACCEPTED into unstable Dec 10
• ocaml_4.08.1-6_source.changes ACCEPTED into unstable Dec 29
• unison_2.48.4-3_source.changes ACCEPTED into unstable Dec 03
• Processing of ocurl_0.9.0-1_source.changes Dec 03
• unison_2.48.4-2_source.changes ACCEPTED into unstable Dec 02
• Processing of pyml_20190626-1_amd64.changes Dec 29
• belenios_1.10+dfsg-1_source.changes ACCEPTED into unstable Dec 10
• Processing of unison_2.48.4-2_source.changes Dec 02
• Processing of hol-light_20190729-3_source.changes Dec 29
• Processing of ocaml-num_1.3-1_source.changes Dec 02
• camlp5_7.10-1_source.changes ACCEPTED into unstable Dec 29

Debian testing autoremoval watch

• meta-unison is marked for autoremoval from testing Dec 11
• meta-unison is marked for autoremoval from testing Dec 31

gregor herrmann

• Bug#946041: fixed in unison 2.48.4-3 Dec 03
• Bug#946041: fixed in unison 2.48.4-3 Dec 05

Johannes 'josch' Schauer

• Bug#946980: parmap: segmentation fault on 32bit architectures after ocaml upgrade from 4.05.0 to 4.08.1 Dec 18

Johannes Schauer

• Bug#946980: parmap: segmentation fault on 32bit architectures after ocaml upgrade from 4.05.0 to 4.08.1 Dec 18
• Bug#946980: parmap: segmentation fault on 32bit architectures after ocaml upgrade from 4.05.0 to 4.08.1 Dec 23

John Scott

• Bug#920589: CoqIDE supports GTK 3 Dec 31

Julien Lepiller

• Bug#946580: No coqidetop in coq package breaks editor plugins Dec 12
• Bug#946580: No coqidetop in coq package breaks editor plugins Dec 11

McIntyre, Vincent (CASS, Marsfield)

• Bug#946041: fixed in unison 2.48.4-3 (NEWS.Debian not included) Dec 04

Pino Toscano

• Bug#947197: ocaml-man: empty package in arch-indep builds Dec 22

Ralf Treinen

• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.10.0+dfsg-1 Dec 06
• [Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%2.1.0-4 Dec 06
• Bug#946580: No coqidetop in coq package breaks editor plugins Dec 11
• [Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%2.1.0-3 Dec 06
• [Git][ocaml-team/ocamlmakefile] Pushed new tag upstream/6.39.2 Dec 10
• [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.10.0+dfsg.orig.tar.gz Dec 06
• [Git][ocaml-team/tuareg-mode] Deleted branch master-experimental Dec 06
• [Git][ocaml-team/ocamlmakefile][pristine-tar] pristine-tar data for ocamlmakefile_6.39.2.orig.tar.gz Dec 10
• [Git][ocaml-team/coq] Pushed new tag upstream/8.10.2 Dec 01
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.10.0+dfsg Dec 06
• Bug#946980: parmap: segmentation fault on 32bit architectures after ocaml upgrade from 4.05.0 to 4.08.1 Dec 23
• [Git][ocaml-team/coq][experimental/master] 5 commits: more updates of copyright Dec 01
• [Git][ocaml-team/tuareg-mode] Deleted branch rt Dec 06
• updating the coq package Dec 04
• [Git][ocaml-team/coq][experimental/upstream] New upstream version 8.10.2 Dec 01
• [Git][ocaml-team/tuareg-mode] Deleted branch bugs Dec 06
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.10.2.orig.tar.gz Dec 01

Thorsten Alteholz

• pyml_20190626-1_amd64.changes REJECTED Dec 25

Vincent Lefevre

• Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Dec 03
• Bug#946042: unison: missing space in error message Dec 03
• Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Dec 03
• Bug#946041: unison-latest-stable: can't synchronize with Debian 10 (buster) Dec 03
• Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Dec 03

[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]