debian-ocaml-maint May 2020 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Re: Updating extlib to 1.7.7 and build with minimal=1 May 19
Re: Updating extlib to 1.7.7 and build with minimal=1 May 19

Adrian Bunk

Bug#961103: headache FTBFS: Error: Unbound module UTF8 May 20

Andreas Tille

Re: [covid-19] Help for ocaml package needed May 24
[covid-19] Help for ocaml package needed May 23
Re: [covid-19] Help for ocaml package needed May 24
Re: [covid-19] Help for ocaml package needed May 23
Re: [covid-19] Help for ocaml package needed May 29

Andy Li

Re: Updating extlib to 1.7.7 and build with minimal=1 May 20
Re: Updating extlib to 1.7.7 and build with minimal=1 May 19
[Git][ocaml-team/headache] Pushed new tag debian/1.04-1 May 20
Updating extlib to 1.7.7 and build with minimal=1 May 15
Re: Updating extlib to 1.7.7 and build with minimal=1 May 20

Chantal Keller

Bug#961529: mlpost: wrong path to mlpost.cma May 25

Debian Bug Tracking System

Processed: limit source to headache, tagging 961103 May 20
Processed: Bug#956564 marked as pending in liquidsoap May 04
Processed: Bug#956674 marked as pending in prooftree May 13
Bug#956564: marked as done (liquidsoap libraries are not installed in the right place) May 22
Bug#960983: marked as done (apt-cudf: silently skips installing systemd from Build-Depends) May 19
Processed: Re: apt-cudf: silently skips installing systemd from Build-Depends May 19
Bug#961103: marked as done (headache FTBFS: Error: Unbound module UTF8) May 20
Bug#937400: marked as done (pycaml: Python2 removal in sid/bullseye) May 17
Bug#532305: marked as done (install pycaml.ml and generate API reference documentation) May 17
Bug#956674: marked as done (prooftree must build depend on coq) May 13

Debian FTP Masters

prooftree_0.13-2_source.changes ACCEPTED into unstable May 13
extlib_1.7.7-1_source.changes ACCEPTED into unstable May 19
opam_2.0.3-1+deb10u1_source.changes ACCEPTED into proposed-updates->stable-new, proposed-updates May 01
ocaml-dtools_0.4.2-1_source.changes ACCEPTED into unstable May 25
Processing of extlib_1.7.7-1_source.changes May 19
Processing of ocaml-cry_0.6.5-1_source.changes May 05
Processing of headache_1.04-1_source.changes May 20
headache_1.04-1_source.changes ACCEPTED into unstable May 20
Processing of liquidsoap_1.4.2-1_source.changes May 22
Bug#960687: Removed package(s) from unstable May 17
ocaml-cry_0.6.5-1_source.changes ACCEPTED into unstable May 05
Processing of prooftree_0.13-2_source.changes May 13
liquidsoap_1.4.2-1_source.changes ACCEPTED into unstable May 22
Processing of ocaml-dtools_0.4.2-1_source.changes May 25
Bug#960687: Removed package(s) from unstable May 17

Debian testing autoremoval watch

laby is marked for autoremoval from testing May 05
ocamlnet is marked for autoremoval from testing May 05
ben is marked for autoremoval from testing May 25
lablgtk-extras is marked for autoremoval from testing May 05
ocaml-qcheck is marked for autoremoval from testing May 11
react is marked for autoremoval from testing May 11
ocamlodbc is marked for autoremoval from testing May 25
tyxml is marked for autoremoval from testing May 11
ocurl is marked for autoremoval from testing May 11
ocaml-fpath is marked for autoremoval from testing May 11
ocamldap is marked for autoremoval from testing May 25
cairo-ocaml is marked for autoremoval from testing May 05
ocaml-gen is marked for autoremoval from testing May 11
apron is marked for autoremoval from testing May 19
lwt is marked for autoremoval from testing May 11
pxp is marked for autoremoval from testing May 25
frama-c is marked for autoremoval from testing May 31
frama-c is marked for autoremoval from testing May 11
prooftree is marked for autoremoval from testing May 18
laby is marked for autoremoval from testing May 25
ocaml-sedlex is marked for autoremoval from testing May 11
freetennis is marked for autoremoval from testing May 05
prooftree is marked for autoremoval from testing May 05
freetennis is marked for autoremoval from testing May 25
ocsigenserver is marked for autoremoval from testing May 25
opam is marked for autoremoval from testing May 11
ocaml-domain-name is marked for autoremoval from testing May 11
utop is marked for autoremoval from testing May 11
lablgtk-extras is marked for autoremoval from testing May 25
mlpost is marked for autoremoval from testing May 20
camomile is marked for autoremoval from testing May 11
lablgtkmathview is marked for autoremoval from testing May 05
ocaml-csv is marked for autoremoval from testing May 11
ocsigenserver is marked for autoremoval from testing May 05
ocamldap is marked for autoremoval from testing May 05
ocaml-fmt is marked for autoremoval from testing May 11
ocaml-http is marked for autoremoval from testing May 05
ocamlbricks is marked for autoremoval from testing May 25
liquidsoap is marked for autoremoval from testing May 05
js-of-ocaml is marked for autoremoval from testing May 11
ocaml-rope is marked for autoremoval from testing May 11
ocaml-qtest is marked for autoremoval from testing May 11
ocamlrss is marked for autoremoval from testing May 05
uutf is marked for autoremoval from testing May 11
ocaml-ptmap is marked for autoremoval from testing May 11
ocaml-charinfo-width is marked for autoremoval from testing May 11
uuidm is marked for autoremoval from testing May 11
ocaml-usb is marked for autoremoval from testing May 11
ocaml-batteries is marked for autoremoval from testing May 11
lablgtk2 is marked for autoremoval from testing May 05
ben is marked for autoremoval from testing May 05
reactivedata is marked for autoremoval from testing May 11
ocamlrss is marked for autoremoval from testing May 25
ocaml-gettext is marked for autoremoval from testing May 11
unison is marked for autoremoval from testing May 25
ocaml-http is marked for autoremoval from testing May 25
ocaml-astring is marked for autoremoval from testing May 11
meta-ocaml is marked for autoremoval from testing May 10
liquidsoap is marked for autoremoval from testing May 25
lambda-term is marked for autoremoval from testing May 11
ocaml-topkg is marked for autoremoval from testing May 11
cairo-ocaml is marked for autoremoval from testing May 25
obus is marked for autoremoval from testing May 11
ocamlbricks is marked for autoremoval from testing May 05
lablgtk2 is marked for autoremoval from testing May 25
belenios is marked for autoremoval from testing May 11
lwt-log is marked for autoremoval from testing May 11
jsonm is marked for autoremoval from testing May 11
ocamlnet is marked for autoremoval from testing May 25
zed is marked for autoremoval from testing May 11
ocamlodbc is marked for autoremoval from testing May 05
nproc is marked for autoremoval from testing May 11
pgocaml is marked for autoremoval from testing May 11
ocaml-ipaddr is marked for autoremoval from testing May 11
pxp is marked for autoremoval from testing May 05
unison is marked for autoremoval from testing May 05
lablgtkmathview is marked for autoremoval from testing May 25
meta-ocaml is marked for autoremoval from testing May 30
lwt-ssl is marked for autoremoval from testing May 11
ocaml-lastfm is marked for autoremoval from testing May 15

Ivo De Decker

Bug#960983: apt-cudf: silently skips installing systemd from Build-Depends May 19

John Paul Adrian Glaubitz

Bug#961232: dose3: Please backport patch to handle M-A:same conflicts with virtual packages May 21

Jonathan Nieder

Bug#642706: dash: Please optimise single command given to -c to exec it May 27

Moritz Mühlenhoff

Bug#937400: pycaml: Python2 removal in sid/bullseye May 15

Pierre Boutillier

Re: [covid-19] Help for ocaml package needed May 24

Ralf Treinen

Re: [covid-19] Help for ocaml package needed May 24
Re: [covid-19] Help for ocaml package needed May 23
Re: Updating extlib to 1.7.7 and build with minimal=1 May 20

Ross Vandegrift

Bug#960983: apt-cudf: silently skips installing systemd from Build-Depends May 19

Shayan Doust

Re: [covid-19] Help for ocaml package needed May 28
Re: [covid-19] Help for ocaml package needed May 29
Re: [covid-19] Help for ocaml package needed May 26

The last update was on 05:00 GMT Sun May 31. There are 131 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