debian-ocaml-maint Apr 2020 by author

[previous page]

Page 1 of 1

[next page]

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

Sébastien Leblanc

Bug#956469: SRT support is not enabled Apr 11

Stéphane Glondu

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory Apr 02
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Apr 03
Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory Apr 01
Bug#937400: pycaml: Python2 removal in sid/bullseye Apr 05

Adrian Bunk

Bug#956674: prooftree must build depend on coq Apr 14
Bug#956887: eliom FTBFS Apr 16
Bug#956556: coinst FTBFS: Error: The implementation ptset.ml does not match the interface ptset.cmi Apr 12

Ben Tris

Debian, to maint/upl of packages with fatal binaries error. Apr 22

Cole Anthony Capilongo

Bug#956564: liquidsoap libraries are not installed in the right place Apr 13

Dagfinn Ilmari Mannsåker

Bug#956005: transition page checkbox labels are not marked as such Apr 05

Debian Bug Tracking System

Processed: limit source to lablgtk3, tagging 957414 Apr 17
Processed: limit source to why3, tagging 950605 Apr 06
Processed: ITP: ocaml-srt -- OCaml bindings for the Secure, Reliable, Transport protocol library Apr 11
Processed: affects 937400 Apr 04
Processed: Re: Bug#956469: SRT support is not enabled Apr 11
Bug#885267: marked as done (coccinelle: Depends on unmaintained pygtk) Apr 04
Processed: wise FTCBFS: uses the build architecture compiler Apr 09
Bug#944592: marked as done (FTBFS with OCaml 4.08.1 (safe strings)) Apr 01
Processed: Re: FTBFS with OCaml 4.08.1 (safe strings) Apr 01
Processed: mark hevea Multi-Arch: foreign Apr 09
Bug#950605: marked as done (Please, enable micro-C plugin) Apr 07
Processed: found 957414 in 3.1.0-2 Apr 17
Bug#955494: marked as done (`menhir --suggest-menhirLib` suggests wrong directory) Apr 05
Bug#952461: marked as done (coccinelle: build-depend on python instead of python2) Apr 04
Bug#936314: marked as done (coccinelle: Python2 removal in sid/bullseye) Apr 04
Bug#736322: marked as done (libcoq-ocaml-dev: It should depend on ocaml-best-compilers) Apr 26
Processed: fixed 953229 in 8.11.1~pre1-1 Apr 26
Bug#956278: marked as done (mark hevea Multi-Arch: foreign) Apr 09
Processed: bug 957623 is forwarded to https://github.com/ocaml/ocaml/issues/9144 Apr 17
Processed: [bts-link] source package src:ocaml Apr 23
Bug#957414: marked as done (lablgtk3: ftbfs with GCC-10) Apr 19
Bug#955250: marked as done (ocaml-fdkaac: FTBFS against fdk-aac 2.0.1) Apr 09

Debian buildds

failed s390x build of coq 8.11.1~pre1-1 Apr 16

Debian FTP Masters

Processing of ocaml-fpath_0.7.2-2_source.changes Apr 19
Processing of ocaml-odoc_1.5.0-1_amd64.changes Apr 27
Processing of hevea_2.34-2_source.changes Apr 09
Processing of ppx-bin-prot_0.13.0-1_amd64.changes Apr 02
Processing of coccinelle_1.0.8.deb-1_source.changes Apr 04
ocaml-fpath_0.7.2-1_amd64.changes is NEW Apr 19
lablgtk3_3.1.0-2_source.changes ACCEPTED into unstable Apr 07
ocaml-fpath_0.7.2-2_source.changes ACCEPTED into unstable Apr 19
why3_1.3.1-1_source.changes ACCEPTED into unstable Apr 07
menhir_20200123-3_source.changes ACCEPTED into unstable Apr 05
alt-ergo_2.0.0-6_source.changes ACCEPTED into unstable Apr 15
Processing of ocaml-fpath_0.7.2-1_amd64.changes Apr 19
hevea_2.34-1_source.changes ACCEPTED into unstable Apr 08
Processing of ocaml-deriving-ocsigen_0.7.1-1.1_source.changes Apr 01
Processing of tuareg-mode_2.2.0-1_source.changes Apr 27
meta-ocaml_4.08.1.2_source.changes ACCEPTED into unstable Apr 15
Processing of why3_1.3.1-2_source.changes Apr 07
Processing of hevea-doc_2.34-1_amd64.changes Apr 08
Processing of hevea_2.34-1_source.changes Apr 08
hevea-doc_2.34-1_amd64.changes ACCEPTED into unstable Apr 08
Processing of menhir_20200123-3_source.changes Apr 05
Processing of ocaml-flac_0.1.6-1_source.changes Apr 23
Processing of meta-ocaml_4.08.1.2_source.changes Apr 15
ocaml-flac_0.1.6-1_source.changes ACCEPTED into unstable Apr 23
Processing of coq_8.11.1~pre1-1_source.changes Apr 16
Processing of why3_1.3.1-1_source.changes Apr 07
ocaml-odoc_1.5.0-1_amd64.changes is NEW Apr 27
ppx-bin-prot_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Apr 09
ocaml-deriving-ocsigen_0.7.1-1.1_source.changes ACCEPTED into unstable Apr 01
Processing of ocaml-fdkaac_0.3.2-1_amd64.changes Apr 09
Processing of alt-ergo_2.0.0-6_source.changes Apr 15
coq_8.11.1~pre1-1_source.changes ACCEPTED into experimental Apr 16
Processing of lablgtk3_3.1.0-3_source.changes Apr 19
Processing of lablgtk3_3.1.0-2_source.changes Apr 07
Processing of opam_2.0.3-1+deb10u1_source.changes Apr 28
ocaml-fpath_0.7.2-1_amd64.changes ACCEPTED into unstable, unstable Apr 19
lablgtk3_3.1.0-3_source.changes ACCEPTED into unstable Apr 19
coccinelle_1.0.8.deb-2_source.changes ACCEPTED into unstable Apr 04
hevea-doc_2.34-1_source.changes REJECTED Apr 08
coccinelle_1.0.8.deb-1_source.changes ACCEPTED into unstable Apr 04
ocaml-fdkaac_0.3.2-1_amd64.changes ACCEPTED into unstable Apr 09
why3_1.3.1-2_source.changes ACCEPTED into unstable Apr 07
ppx-bin-prot_0.13.0-1_amd64.changes is NEW Apr 02
Accepted coq 8.11.1~pre1-1 (source) into experimental Apr 16
Processing of hevea-doc_2.34-1_source.changes Apr 08
tuareg-mode_2.2.0-1_source.changes ACCEPTED into unstable Apr 27
Processing of coccinelle_1.0.8.deb-2_source.changes Apr 04
hevea_2.34-2_source.changes ACCEPTED into unstable Apr 09
opam_2.0.3-1+deb10u1_source.changes ACCEPTED into proposed-updates->stable-new Apr 28

Debian testing autoremoval watch

lablgtkmathview is marked for autoremoval from testing Apr 15
lablgtk-extras is marked for autoremoval from testing Apr 15
ocamlbricks is marked for autoremoval from testing Apr 15
meta-ocaml is marked for autoremoval from testing Apr 15
ocsigenserver is marked for autoremoval from testing Apr 15
lablgtk2 is marked for autoremoval from testing Apr 15
ocamlrss is marked for autoremoval from testing Apr 15
ocamlodbc is marked for autoremoval from testing Apr 15
ocaml-fdkaac is marked for autoremoval from testing Apr 15
laby is marked for autoremoval from testing Apr 15
liquidsoap is marked for autoremoval from testing Apr 15
ocamldap is marked for autoremoval from testing Apr 15
cairo-ocaml is marked for autoremoval from testing Apr 15
mlpost is marked for autoremoval from testing Apr 30
ben is marked for autoremoval from testing Apr 15
ocaml-http is marked for autoremoval from testing Apr 15
mlpost is marked for autoremoval from testing Apr 10
prooftree is marked for autoremoval from testing Apr 15
alt-ergo is marked for autoremoval from testing Apr 15
ocaml-lastfm is marked for autoremoval from testing Apr 05
freetennis is marked for autoremoval from testing Apr 15
apron is marked for autoremoval from testing Apr 29
ocaml-lastfm is marked for autoremoval from testing Apr 25
meta-ocaml is marked for autoremoval from testing Apr 20
unison is marked for autoremoval from testing Apr 15
ocamlnet is marked for autoremoval from testing Apr 15
pxp is marked for autoremoval from testing Apr 15
ocaml-fdkaac is marked for autoremoval from testing Apr 05

debian-bts-link

[bts-link] source package src:ocaml Apr 23

Gianfranco Costamagna

Bug#944592: FTBFS with OCaml 4.08.1 (safe strings) Apr 01

Helmut Grohne

Bug#956278: mark hevea Multi-Arch: foreign Apr 09

Kyle Robbertze

Matthias Klose

Bug#957623: ocaml: ftbfs with GCC-10 Apr 17
Bug#957414: lablgtk3: ftbfs with GCC-10 Apr 17
Bug#957548: mlgmp: ftbfs with GCC-10 Apr 17
Bug#957413: lablgtk2: ftbfs with GCC-10 Apr 17

Moritz Mühlenhoff

Bug#937400: pycaml: Python2 removal in sid/bullseye Apr 04

Ralf Treinen

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory Apr 02
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Apr 03

Thomas Leonard

Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Apr 04
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Apr 02

Thorsten Alteholz

Comments regarding ocaml-fpath_0.7.2-1_amd64.changes Apr 19

The last update was on 05:00 GMT Thu Apr 30. There are 129 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc