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