debian-ocaml-maint Apr 2020 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[bts-link] source package src:ocaml
Accepted coq 8.11.1~pre1-1 (source) into experimental
alt-ergo is marked for autoremoval from testing
alt-ergo_2.0.0-6_source.changes ACCEPTED into unstable
apron is marked for autoremoval from testing
ben is marked for autoremoval from testing
Bug#736322: marked as done (libcoq-ocaml-dev: It should depend on ocaml-best-compilers)
Bug#885267: marked as done (coccinelle: Depends on unmaintained pygtk)
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2
Bug#936314: marked as done (coccinelle: Python2 removal in sid/bullseye)
Bug#937400: pycaml: Python2 removal in sid/bullseye
Bug#944592: FTBFS with OCaml 4.08.1 (safe strings)
Bug#944592: marked as done (FTBFS with OCaml 4.08.1 (safe strings))
Bug#950605: marked as done (Please, enable micro-C plugin)
Bug#952461: marked as done (coccinelle: build-depend on python instead of python2)
Bug#955250: marked as done (ocaml-fdkaac: FTBFS against fdk-aac 2.0.1)
Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory
Bug#955494: marked as done (`menhir --suggest-menhirLib` suggests wrong directory)
Bug#956005: transition page checkbox labels are not marked as such
Bug#956278: mark hevea Multi-Arch: foreign
Bug#956278: marked as done (mark hevea Multi-Arch: foreign)
Bug#956469: SRT support is not enabled
Bug#956478: ITP: ocaml-srt -- OCaml bindings for the Secure, Reliable, Transport protocol library
Bug#956479: ITP: ocaml-sys-socket -- OCaml ctypes bindings to system-specific low-level socket structure and data-types
Bug#956485: ITP: ocaml-unix-errno -- An errno variant that includes a variety of constructors
Bug#956487: ITP: alcotest -- A lightweight and colourful test framework for OCaml
Bug#956556: coinst FTBFS: Error: The implementation ptset.ml does not match the interface ptset.cmi
Bug#956564: liquidsoap libraries are not installed in the right place
Bug#956674: prooftree must build depend on coq
Bug#956887: eliom FTBFS
Bug#957413: lablgtk2: ftbfs with GCC-10
Bug#957414: lablgtk3: ftbfs with GCC-10
Bug#957414: marked as done (lablgtk3: ftbfs with GCC-10)
Bug#957548: mlgmp: ftbfs with GCC-10
Bug#957623: ocaml: ftbfs with GCC-10
cairo-ocaml is marked for autoremoval from testing
coccinelle_1.0.8.deb-1_source.changes ACCEPTED into unstable
coccinelle_1.0.8.deb-2_source.changes ACCEPTED into unstable
Comments regarding ocaml-fpath_0.7.2-1_amd64.changes
coq_8.11.1~pre1-1_source.changes ACCEPTED into experimental
Debian, to maint/upl of packages with fatal binaries error.
failed s390x build of coq 8.11.1~pre1-1
freetennis is marked for autoremoval from testing
hevea-doc_2.34-1_amd64.changes ACCEPTED into unstable
hevea-doc_2.34-1_source.changes REJECTED
hevea_2.34-1_source.changes ACCEPTED into unstable
hevea_2.34-2_source.changes ACCEPTED into unstable
lablgtk-extras is marked for autoremoval from testing
lablgtk2 is marked for autoremoval from testing
lablgtk3_3.1.0-2_source.changes ACCEPTED into unstable
lablgtk3_3.1.0-3_source.changes ACCEPTED into unstable
lablgtkmathview is marked for autoremoval from testing
laby is marked for autoremoval from testing
liquidsoap is marked for autoremoval from testing
menhir_20200123-3_source.changes ACCEPTED into unstable
meta-ocaml is marked for autoremoval from testing
meta-ocaml_4.08.1.2_source.changes ACCEPTED into unstable
mlpost is marked for autoremoval from testing
ocaml-deriving-ocsigen_0.7.1-1.1_source.changes ACCEPTED into unstable
ocaml-fdkaac is marked for autoremoval from testing
ocaml-fdkaac_0.3.2-1_amd64.changes ACCEPTED into unstable
ocaml-flac_0.1.6-1_source.changes ACCEPTED into unstable
ocaml-fpath_0.7.2-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-fpath_0.7.2-1_amd64.changes is NEW
ocaml-fpath_0.7.2-2_source.changes ACCEPTED into unstable
ocaml-http is marked for autoremoval from testing
ocaml-lastfm is marked for autoremoval from testing
ocaml-odoc_1.5.0-1_amd64.changes is NEW
ocamlbricks is marked for autoremoval from testing
ocamldap is marked for autoremoval from testing
ocamlnet is marked for autoremoval from testing
ocamlodbc is marked for autoremoval from testing
ocamlrss is marked for autoremoval from testing
ocsigenserver is marked for autoremoval from testing
opam_2.0.3-1+deb10u1_source.changes ACCEPTED into proposed-updates->stable-new
ppx-bin-prot_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
ppx-bin-prot_0.13.0-1_amd64.changes is NEW
Processed: [bts-link] source package src:ocaml
Processed: affects 937400
Processed: bug 957623 is forwarded to https://github.com/ocaml/ocaml/issues/9144
Processed: fixed 953229 in 8.11.1~pre1-1
Processed: found 957414 in 3.1.0-2
Processed: ITP: ocaml-srt -- OCaml bindings for the Secure, Reliable, Transport protocol library
Processed: limit source to lablgtk3, tagging 957414
Processed: limit source to why3, tagging 950605
Processed: mark hevea Multi-Arch: foreign
Processed: Re: Bug#956469: SRT support is not enabled
Processed: Re: FTBFS with OCaml 4.08.1 (safe strings)
Processed: wise FTCBFS: uses the build architecture compiler
Processing of alt-ergo_2.0.0-6_source.changes
Processing of coccinelle_1.0.8.deb-1_source.changes
Processing of coccinelle_1.0.8.deb-2_source.changes
Processing of coq_8.11.1~pre1-1_source.changes
Processing of hevea-doc_2.34-1_amd64.changes
Processing of hevea-doc_2.34-1_source.changes
Processing of hevea_2.34-1_source.changes
Processing of hevea_2.34-2_source.changes
Processing of lablgtk3_3.1.0-2_source.changes
Processing of lablgtk3_3.1.0-3_source.changes
Processing of menhir_20200123-3_source.changes
Processing of meta-ocaml_4.08.1.2_source.changes
Processing of ocaml-deriving-ocsigen_0.7.1-1.1_source.changes
Processing of ocaml-fdkaac_0.3.2-1_amd64.changes
Processing of ocaml-flac_0.1.6-1_source.changes
Processing of ocaml-fpath_0.7.2-1_amd64.changes
Processing of ocaml-fpath_0.7.2-2_source.changes
Processing of ocaml-odoc_1.5.0-1_amd64.changes
Processing of opam_2.0.3-1+deb10u1_source.changes
Processing of ppx-bin-prot_0.13.0-1_amd64.changes
Processing of tuareg-mode_2.2.0-1_source.changes
Processing of why3_1.3.1-1_source.changes
Processing of why3_1.3.1-2_source.changes
prooftree is marked for autoremoval from testing
pxp is marked for autoremoval from testing
tuareg-mode_2.2.0-1_source.changes ACCEPTED into unstable
unison is marked for autoremoval from testing
why3_1.3.1-1_source.changes ACCEPTED into unstable
why3_1.3.1-2_source.changes ACCEPTED into unstable
The last update was on 05:00 GMT Thu Apr 30. There are 129 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
