debian-ocaml-maint Dec 2019 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]
[Git][ocaml-team/belenios][master] 8 commits: New upstream version 1.9.1+dfsg [Git][ocaml-team/belenios][pristine-tar] 2 commits: pristine-tar data for belenios_1.9.1+dfsg.orig.tar.xz [Git][ocaml-team/belenios][upstream] 2 commits: New upstream version 1.9.1+dfsg [Git][ocaml-team/biniou] Pushed new tag archive/debian/1.2.1-1 [Git][ocaml-team/biniou] Pushed new tag debian/1.2.1-1 [Git][ocaml-team/biniou] Pushed new tag upstream/1.2.1 [Git][ocaml-team/biniou][pristine-tar] pristine-tar data for biniou_1.2.1.orig.tar.gz [Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.6.0-10 [Git][ocaml-team/camlbz2] Pushed new tag debian/0.6.0-10 [Git][ocaml-team/camlp5][pristine-tar] 2 commits: pristine-tar data for camlp5_7.09.orig.tar.gz [Git][ocaml-team/coq] Pushed new tag upstream/8.10.2 [Git][ocaml-team/coq][experimental/master] 5 commits: more updates of copyright [Git][ocaml-team/coq][experimental/upstream] New upstream version 8.10.2 [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.10.2.orig.tar.gz [Git][ocaml-team/cryptokit] Pushed new tag archive/debian/1.14-1 [Git][ocaml-team/cryptokit] Pushed new tag debian/1.14-1 [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.14 [Git][ocaml-team/cryptokit][pristine-tar] pristine-tar data for cryptokit_1.14.orig.tar.gz [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20190729-3 [Git][ocaml-team/hol-light] Pushed new tag debian/20190729-3 [Git][ocaml-team/ocaml-csv][master] 7 commits: New upstream version 2.3 [Git][ocaml-team/ocaml-csv][pristine-tar] 2 commits: pristine-tar data for ocaml-csv_2.3.orig.tar.gz [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.08.1-5 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.08.1-6 [Git][ocaml-team/ocaml] Pushed new tag debian/4.08.1-5 [Git][ocaml-team/ocaml] Pushed new tag debian/4.08.1-6 [Git][ocaml-team/ocamlmakefile] Pushed new tag upstream/6.39.2 [Git][ocaml-team/ocamlmakefile][pristine-tar] pristine-tar data for ocamlmakefile_6.39.2.orig.tar.gz [Git][ocaml-team/ocurl] Pushed new tag archive/debian/0.9.0-1 [Git][ocaml-team/ocurl] Pushed new tag debian/0.9.0-1 [Git][ocaml-team/ocurl] Pushed new tag upstream/0.9.0 [Git][ocaml-team/ocurl][pristine-tar] pristine-tar data for ocurl_0.9.0.orig.tar.gz [Git][ocaml-team/ssreflect] Pushed new tag debian/1.10.0+dfsg-1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.10.0+dfsg [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.10.0+dfsg.orig.tar.gz [Git][ocaml-team/tuareg-mode] Deleted branch bugs [Git][ocaml-team/tuareg-mode] Deleted branch master-experimental [Git][ocaml-team/tuareg-mode] Deleted branch rt [Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%2.1.0-3 [Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%2.1.0-4 [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-2 [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-3 [Git][ocaml-team/unison] Pushed new tag archive/debian/2.48.4-4 [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-2 [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-3 [Git][ocaml-team/unison] Pushed new tag debian/2.48.4-4 Accepted ocurl 0.9.0-1 (source) into unstable belenios_1.10+dfsg-1_source.changes ACCEPTED into unstable biniou_1.2.1-1_source.changes ACCEPTED into unstable Bug#517134: marked as done (ocaml-nox: install some files that are also installed by ocaml-compiler-libs) Bug#630898: marked as done (ocaml-compiler-libs: Contains a duplicate of 'outcometree.{cmi.mli}, as provided by ocaml-nox (a dependency)) Bug#761456: marked as done (ocaml: FTBFS on hppa: test errors) Bug#819341: Updated patch Bug#898272: marked as done (libbiniou-ocaml: New upstream release (1.2.0)) Bug#920589: CoqIDE supports GTK 3 Bug#922692: patch Bug#925076: marked as done (Updating the ocaml-csv Uploaders list) Bug#944277: actually a bug in camlp5 Bug#944277: marked as done (FTBFS with OCaml 4.08.1 (Error while running external preprocessor)) Bug#944602: marked as done (FTBFS with OCaml 4.08.1 (Need update for HTTP_VERSION)) Bug#945495: marked as done (ocaml-nox: missing Breaks+Replaces: ocaml-compiler-libs (<< 4.08)) Bug#945851: marked as done (libnum-ocaml-dev: missing Breaks+Replaces: ocaml-nox (<< 4.08)) Bug#946041: fixed in unison 2.48.4-3 Bug#946041: fixed in unison 2.48.4-3 (NEWS.Debian not included) Bug#946041: marked as done (unison-latest-stable: can't synchronize with Debian 10 (buster)) Bug#946041: unison-latest-stable: can't synchronize with Debian 10 (buster) Bug#946042: unison: missing space in error message Bug#946046: unison-all should also depend on the old unison version, compatible with Debian 10 Bug#946580: No coqidetop in coq package breaks editor plugins Bug#946980: parmap: segmentation fault on 32bit architectures after ocaml upgrade from 4.05.0 to 4.08.1 Bug#947197: marked as done (ocaml-man: empty package in arch-indep builds) Bug#947197: ocaml-man: empty package in arch-indep builds camlp5_7.10-1_source.changes ACCEPTED into unstable coq_8.10.2-1_amd64.changes REJECTED cryptokit_1.14-1_source.changes ACCEPTED into unstable hol-light_20190729-3_source.changes ACCEPTED into unstable meta-unison is marked for autoremoval from testing ocaml-csv_2.4-1_source.changes ACCEPTED into unstable ocaml-num_1.3-1_source.changes ACCEPTED into unstable ocaml_4.08.1-5_source.changes ACCEPTED into unstable ocaml_4.08.1-6_source.changes ACCEPTED into unstable ocamlmakefile_6.39.2-1_source.changes ACCEPTED into unstable ocurl_0.9.0-1_source.changes ACCEPTED into unstable Processed (with 1 error): CoqIDE supports GTK 3 Processed: add patch tag to bug Processed: affects 947197, found 947197 in ocaml/4.08.1-5 Processed: block 912946 with 885267 885287 885308 890157 937114 885135 878698 890168 885476 885527 885486 938637 885140 Processed: block 945886 with 944365 Processed: block 946817 with 946980 Processed: Bug#898272 marked as pending in biniou Processed: Bug#945495 marked as pending in ocaml Processed: CoqIDE supports lablgtk3 Processed: notfound 944776 in prepair/0.7.1-3+b2, found 944776 in 0.7.1-3, tagging 944775, tagging 946114 ... Processed: ocaml-man: empty package in arch-indep builds Processing of belenios_1.10+dfsg-1_source.changes Processing of biniou_1.2.1-1_source.changes Processing of camlp5_7.10-1_source.changes Processing of coq_8.10.2-1_amd64.changes Processing of cryptokit_1.14-1_source.changes Processing of hol-light_20190729-3_source.changes Processing of ocaml-csv_2.4-1_source.changes Processing of ocaml-num_1.3-1_source.changes Processing of ocaml_4.08.1-5_source.changes Processing of ocaml_4.08.1-6_source.changes Processing of ocamlmakefile_6.39.2-1_source.changes Processing of ocurl_0.9.0-1_source.changes Processing of pyml_20190626-1_amd64.changes Processing of ssreflect_1.10.0+dfsg-1_source.changes Processing of tuareg-mode_2.1.0-4_source.changes Processing of unison_2.48.4-2_source.changes Processing of unison_2.48.4-3_source.changes Processing of unison_2.48.4-4_source.changes pyml_20190626-1_amd64.changes is NEW pyml_20190626-1_amd64.changes REJECTED ssreflect_1.10.0+dfsg-1_source.changes ACCEPTED into unstable tuareg-mode_2.1.0-4_source.changes ACCEPTED into unstable unison_2.48.4-2_source.changes ACCEPTED into unstable unison_2.48.4-3_source.changes ACCEPTED into unstable unison_2.48.4-4_source.changes ACCEPTED into unstable updating the coq package The last update was on 05:00 GMT Tue Dec 31. There are 140 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