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