debian-ocaml-maint Jun 2024 by author

[previous page]

Page 1 of 2

[next page]

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

---

Stéphane Glondu (@glondu)

• [Git][ocaml-team/coq][master] Prepare upload to unstable Jun 15
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.22.0 Jun 04
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag upstream/5.6.0 Jun 04
• [Git][ocaml-team/mlgmp] Pushed new tag archive/debian/20021123-23 Jun 18
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.8.0 Jun 04
• [Git][ocaml-team/cmdliner][upstream] New upstream version 1.3.0 Jun 03
• [Git][ocaml-team/tyxml] Pushed new tag debian/4.6.0-1 Jun 04
• [Git][ocaml-team/ocamlmod] Pushed new tag archive/debian/0.0.9-5 Jun 18
• [Git][ocaml-team/headache] Pushed new tag archive/debian/1.08-1 Jun 04
• [Git][ocaml-team/tyxml][master] 4 commits: New upstream version 4.6.0 Jun 04
• [Git][ocaml-team/cudf] Pushed new tag archive/debian/0.10-4 Jun 29
• [Git][ocaml-team/ocaml-extunix][master] 3 commits: Depend on libfindlib-ocaml (for bytes) Jun 18
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.15.3-2 Jun 15
• [Git][ocaml-team/ocaml-dune][pristine-tar] 6 commits: pristine-tar data for ocaml-dune_3.14.1.orig.tar.bz2 Jun 03
• [Git][ocaml-team/ocsigenserver] Pushed new tag debian/5.1.2-2 Jun 15
• [Git][ocaml-team/camlmix] Pushed new tag archive/debian/1.3.1-6 Jun 15
• [Git][ocaml-team/dose3][master] 2 commits: Add camlp-streams to debGrep dependencies Jun 14
• [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.4.2-4 Jun 18
• [Git][ocaml-team/ocsigenserver] Pushed new tag archive/debian/5.1.2-2 Jun 15
• [Git][ocaml-team/ocaml-mad] Pushed new tag upstream/0.5.3 Jun 07
• [Git][ocaml-team/ocaml][debian/ocaml-5] 5 commits: Remove ppc64 from native architectures Jun 15
• [Git][ocaml-team/hol-light] Pushed new tag debian/20231021-2 Jun 30
• [Git][ocaml-team/ocaml][debian/ocaml-5] Prepare upload to experimental Jun 13
• [Git][ocaml-team/ocamlify] Pushed new tag debian/0.0.2-11 Jun 18
• [Git][ocaml-team/ocaml] Pushed new tag upstream/5.2.0 Jun 12
• [Git][ocaml-team/ocamlweb] Pushed new tag debian/1.41-6 Jun 18
• [Git][ocaml-team/js-of-ocaml][master] Prepare upload to unstable Jun 15
• [Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-6 Jun 29
• [Git][ocaml-team/camlpdf] Pushed new tag upstream/2.7 Jun 07
• [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/5.8.2-2 Jun 15
• [Git][ocaml-team/ocplib-simplex] Pushed new tag debian/0.5.1-1 Jun 04
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.00 Jun 14
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.03.00-1 Jun 29
• [Git][ocaml-team/tyxml][upstream] New upstream version 4.6.0 Jun 04
• [Git][ocaml-team/ocaml-config-file] Pushed new tag debian/1.2.1-4 Jun 16
• [Git][ocaml-team/eliom] Pushed new tag debian/10.4.1-1 Jun 05
• [Git][ocaml-team/tyxml] Pushed new tag upstream/4.6.0 Jun 04
• [Git][ocaml-team/findlib] Pushed new tag debian/1.9.6-2 Jun 15
• [Git][ocaml-team/oasis] Pushed new tag archive/debian/0.4.11-5 Jun 30
• [Git][ocaml-team/js-of-ocaml][master] 2 commits: Build doc only on indep builds Jun 14
• [Git][ocaml-team/cmdliner] Pushed new tag upstream/1.3.0 Jun 03
• [Git][ocaml-team/coq] Pushed new tag archive/debian/8.19.1+dfsg-2 Jun 15
• [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.03.00.orig.tar.gz Jun 14
• [Git][ocaml-team/headache] Pushed new tag archive/debian/1.08-2 Jun 08
• [Git][ocaml-team/headache] Pushed new tag debian/1.08-2 Jun 08
• [Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.8.0.orig.tar.gz Jun 04
• [Git][ocaml-team/headache][pristine-tar] pristine-tar data for headache_1.08.orig.tar.gz Jun 04
• [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.8.0.orig.tar.gz Jun 04
• [Git][ocaml-team/dh-ocaml][master] 3 commits: Cope with move of dynlink.cmxa in OCaml 5.2.0 Jun 15
• [Git][ocaml-team/ocsigenserver][master] Prepare upload to unstable Jun 15
• [Git][ocaml-team/camlmix][master] 3 commits: Refresh patch Jun 14
• [Git][ocaml-team/extlib] Pushed new tag debian/1.7.9-1 Jun 29
• [Git][ocaml-team/coq-doc][master] Prepare upload to unstable Jun 18
• [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.0.2-2 Jun 07
• [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.14.3-2 Jun 15
• [Git][ocaml-team/ocamlmod] Pushed new tag debian/0.0.9-5 Jun 18
• [Git][ocaml-team/cmdliner][pristine-tar] pristine-tar data for cmdliner_1.3.0.orig.tar.bz2 Jun 03
• [Git][ocaml-team/ppx-deriving][master] 7 commits: New upstream version 5.3.0 Jun 03
• [Git][ocaml-team/ocaml-dune][upstream] 6 commits: New upstream version 3.14.1 Jun 03
• [Git][ocaml-team/ocsigenserver][master] 2 commits: Do no longer Build-Depend on libocamlnet-ocaml-dev Jun 14
• [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20231021-2 Jun 30
• [Git][ocaml-team/ocaml-mad][pristine-tar] pristine-tar data for ocaml-mad_0.5.3.orig.tar.gz Jun 07
• [Git][ocaml-team/js-of-ocaml][master] 10 commits: New upstream version 5.7.0 Jun 04
• [Git][ocaml-team/ocaml-dune][master] 3 commits: Build in release mode Jun 15
• [Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.9-1 Jun 29
• [Git][ocaml-team/ocaml-usb] Pushed new tag archive/debian/1.3.1-6 Jun 18
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.22.0-1 Jun 04
• [Git][ocaml-team/headache] Pushed new tag upstream/1.08 Jun 04
• [Git][ocaml-team/ocaml-usb] Pushed new tag debian/1.3.1-6 Jun 18
• [Git][ocaml-team/extlib][master] 7 commits: Update debian/watch Jun 29
• [Git][ocaml-team/ppx-deriving][pristine-tar] 4 commits: pristine-tar data for ppx-deriving_5.3.0.orig.tar.gz Jun 03
• [Git][ocaml-team/camlmix] Pushed new tag debian/1.3.1-6 Jun 15
• [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/5.8.2-2 Jun 15
• [Git][ocaml-team/ulex] Pushed new tag debian/1.2-3 Jun 18
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag archive/debian/5.6.0-1 Jun 04
• [Git][ocaml-team/ocplib-simplex][pristine-tar] pristine-tar data for ocplib-simplex_0.5.1.orig.tar.gz Jun 04
• [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-4 Jun 18
• [Git][ocaml-team/cmdliner] Pushed new tag debian/1.3.0-1 Jun 03
• [Git][ocaml-team/utop][pristine-tar] pristine-tar data for utop_2.14.0.orig.tar.bz2 Jun 04
• [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.22.0.orig.tar.gz Jun 04
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1_exp1 Jun 13
• [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20210608-6 Jun 04
• [Git][ocaml-team/camlp5][upstream] New upstream version 8.03.00 Jun 14
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.22.0-1 Jun 04
• [Git][ocaml-team/ocaml-mad] Pushed new tag debian/0.5.3-1 Jun 07
• [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-4 Jun 18
• [Git][ocaml-team/camlpdf] Pushed new tag debian/2.7-1 Jun 07
• [Git][ocaml-team/oasis][master] 2 commits: Call ocamlbuild with -use-ocamlfind Jun 30
• [Git][ocaml-team/coq-doc][master] 2 commits: Call "dune build" with --release Jun 18
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.8.0-1 Jun 04
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.19.1-2 Jun 18
• [Git][ocaml-team/camlmix][master] Prepare upload to unstable Jun 15
• [Git][ocaml-team/headache][master] 2 commits: Fix autopkgtest Jun 08
• [Git][ocaml-team/dose3][master] Prepare upload to unstable Jun 15
• [Git][ocaml-team/findlib][master] 3 commits: Fix build with OCaml 5.x Jun 15
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.03.00-1 Jun 29
• [Git][ocaml-team/ocplib-simplex] Pushed new tag archive/debian/0.5.1-2 Jun 07
• [Git][ocaml-team/ocamlgraph][master] 2 commits: Build doc only on indep builds Jun 14
• [Git][ocaml-team/camlp4] Pushed new tag upstream/5.2_1+pr167 Jun 16
• [Git][ocaml-team/findlib] Pushed new tag archive/debian/1.9.6-2 Jun 15
• [Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.2.0.orig.tar.xz Jun 12
• [Git][ocaml-team/ocaml-ipaddr][pristine-tar] pristine-tar data for ocaml-ipaddr_5.6.0.orig.tar.gz Jun 04
• [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.2~1+pr167.orig.tar.gz Jun 16
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1_exp2 Jun 20
• [Git][ocaml-team/ocaml][debian/ocaml-5] Restore upstream configure script Jun 13
• [Git][ocaml-team/oasis] Pushed new tag debian/0.4.11-4 Jun 29
• [Git][ocaml-team/js-of-ocaml][pristine-tar] 6 commits: pristine-tar data for js-of-ocaml_5.7.0.orig.tar.bz2 Jun 04
• [Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7-1 Jun 07
• [Git][ocaml-team/ocplib-simplex][master] 2 commits: Test depend on libzarith-ocaml-dev, dependency used for testing Jun 07
• [Git][ocaml-team/obus] Pushed new tag upstream/1.2.5 Jun 07
• [Git][ocaml-team/camlpdf][pristine-tar] pristine-tar data for camlpdf_2.7.orig.tar.gz Jun 07
• [Git][ocaml-team/js-of-ocaml][upstream] 6 commits: New upstream version 5.7.0 Jun 04
• [Git][ocaml-team/ocamlweb] Pushed new tag archive/debian/1.41-6 Jun 18
• [Git][ocaml-team/coccinelle] Pushed new tag archive/debian/1.1.1.deb-6 Jun 29
• [Git][ocaml-team/coq] Pushed new tag debian/8.19.1+dfsg-2 Jun 15
• [Git][ocaml-team/ocplib-simplex] Pushed new tag archive/debian/0.5.1-1 Jun 04
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.15.3-2 Jun 15
• [Git][ocaml-team/utop] Pushed new tag debian/2.14.0-1 Jun 04
• [Git][ocaml-team/coq][master] 2 commits: Call "dune build" with "--release" to avoid failure on warnings Jun 14
• [Git][ocaml-team/utop] Pushed new tag archive/debian/2.14.0-1 Jun 04
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.8.0-1 Jun 04
• [Git][ocaml-team/coq-doc] Pushed new tag archive/debian/8.19.1-2 Jun 18
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1_exp1 Jun 13
• [Git][ocaml-team/utop] Pushed new tag upstream/2.14.0 Jun 04
• [Git][ocaml-team/obus] Pushed new tag debian/1.2.5-1 Jun 07
• [Git][ocaml-team/ocaml-dune][master] 9 commits: New upstream version 3.14.1 Jun 03
• [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.8.0 Jun 04
• [Git][ocaml-team/obus] Pushed new tag archive/debian/1.2.5-1 Jun 07
• [Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-5 Jun 15
• [Git][ocaml-team/facile] Pushed new tag debian/1.1.4-4 Jun 27
• [Git][ocaml-team/camlp5][master] 3 commits: New upstream version 8.03.00 Jun 14
• [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.14.3-2 Jun 15
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/10.4.1-1 Jun 05
• [Git][ocaml-team/camlp5][master] Prepare upload to unstable Jun 29
• [Git][ocaml-team/ocaml-config-file] Pushed new tag archive/debian/1.2.1-4 Jun 16
• [Git][ocaml-team/cudf] Pushed new tag debian/0.10-4 Jun 29
• [Git][ocaml-team/ulex] Pushed new tag archive/debian/1.2-3 Jun 18
• [Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.0.2-2 Jun 07
• [Git][ocaml-team/dose3] Pushed new tag archive/debian/7.0.0-5 Jun 15
• [Git][ocaml-team/ocplib-simplex][master] 5 commits: New upstream version 0.5.1 Jun 04
• [Git][ocaml-team/ocamlify] Pushed new tag archive/debian/0.0.2-11 Jun 18
• [Git][ocaml-team/coccinelle][master] 2 commits: Update packaging Jun 29
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1_exp2 Jun 20
• [Git][ocaml-team/facile] Pushed new tag archive/debian/1.1.4-4 Jun 27
• [Git][ocaml-team/ulex][master] 3 commits: Fix build with OCaml 5.x Jun 18
• [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.1 Jun 15
• [Git][ocaml-team/obus][pristine-tar] pristine-tar data for obus_1.2.5.orig.tar.gz Jun 07
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20210608-6 Jun 04
• [Git][ocaml-team/ocaml-visitors][master] 2 commits: Add libresult-ocaml-dev to Build-Depends Jun 04
• [Git][ocaml-team/tyxml][pristine-tar] pristine-tar data for tyxml_4.6.0.orig.tar.gz Jun 04
• [Git][ocaml-team/ocplib-simplex] Pushed new tag debian/0.5.1-2 Jun 07
• [Git][ocaml-team/extlib] Pushed new tag upstream/1.7.9 Jun 29
• [Git][ocaml-team/ppx-deriving][upstream] 4 commits: New upstream version 5.3.0 Jun 03
• [Git][ocaml-team/ocaml] Pushed new branch upstream/ocaml-5 Jun 12
• [Git][ocaml-team/polygen] Pushed new tag archive/debian/1.0.6.ds2-25 Jun 27
• [Git][ocaml-team/ocaml] Pushed new branch debian/ocaml-5 Jun 12
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.8.0-1 Jun 04
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag debian/5.6.0-1 Jun 04
• [Git][ocaml-team/ocaml-mad] Pushed new tag archive/debian/0.5.3-1 Jun 07
• [Git][ocaml-team/oasis] Pushed new tag archive/debian/0.4.11-4 Jun 29
• [Git][ocaml-team/extlib][pristine-tar] pristine-tar data for extlib_1.7.9.orig.tar.gz Jun 29
• [Git][ocaml-team/camlp4] Pushed new branch experimental/upstream Jun 16
• [Git][ocaml-team/headache] Pushed new tag debian/1.08-1 Jun 04
• [Git][ocaml-team/cmdliner] Pushed new tag archive/debian/1.3.0-1 Jun 03
• [Git][ocaml-team/eliom][master] Prepare upload to unstable Jun 05
• [Git][ocaml-team/polygen] Pushed new tag debian/1.0.6.ds2-25 Jun 27
• [Git][ocaml-team/tyxml] Pushed new tag archive/debian/4.6.0-1 Jun 04
• [Git][ocaml-team/cmdliner][master] 4 commits: New upstream version 1.3.0 Jun 03
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.8.0-1 Jun 04
• [Git][ocaml-team/camlp4] Pushed new branch experimental/master Jun 16
• [Git][ocaml-team/ocplib-simplex] Pushed new tag upstream/0.5.1 Jun 04
• [Git][ocaml-team/mlgmp] Pushed new tag debian/20021123-23 Jun 18
• [Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.1 Jun 15
• [Git][ocaml-team/oasis] Pushed new tag debian/0.4.11-5 Jun 30
• [Git][ocaml-team/biniou][master] 2 commits: Use camlp-streams in ocamldoc Jun 14
• [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.4.2-4 Jun 18

Stéphane Glondu

• Bug#1073289: OCaml 5.2.0 Jun 18
• Bug#1073289: OCaml 5.2.0 Jun 16
• Bug#1073289: Bug#1073983: transition: ocaml Jun 27
• Bug#1073289: OCaml 5.2.0 Jun 20
• Bug#1073983: transition: ocaml Jun 21
• Bug#1073289: OCaml 5.2.0 Jun 20
• Bug#1073289: OCaml 5.2.0 Jun 18

Stéphane Glondu

• yojson/botch blockage Jun 19

Adrian Bunk

• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 15

Andreas Beckmann

• Bug#1073162: yojson-tools: missing Breaks+Replaces: libyojson-ocaml-dev (<< 2.2) Jun 13

Arnaud Rebillout

• Bug#1031411: approx: starts to dislike spaces-only lines in configuration Jun 06

Chris Hofstaedtler

• Bug#1073091: belenios: replace to-be-removed markdown build-dependency Jun 12

Debian Bug Tracking System

• Processed: Bug#1073995 marked as pending in ocaml Jun 21
• Processed: your mail Jun 01
• Processed: Bug#877356 marked as pending in yojson Jun 11
• Bug#1073243: marked as done (libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict) Jun 20
• Processed: Bug#1072672 marked as pending in ppx-deriving Jun 07
• Processed: transition: ffmpeg Jun 02
• Processed: Bug#1073878 marked as pending in facile Jun 27
• Bug#861947: marked as done (approx-gc mentioned in manpage not available anymore) Jun 06
• Processed: Bug#1073162 marked as pending in yojson Jun 16
• Bug#1073878: marked as done (FTBFS with OCaml 5.2.0 (Uses Pervasives)) Jun 27
• Bug#1072668: marked as done (ocplib-simplex: autopkgtest failures (missing zarith)) Jun 07
• Bug#1073903: marked as done (FTBFS with OCaml 5.2.0 (Use of Printext.location needs update)) Jun 29
• Bug#1072672: marked as done (ppx-deriving: autopkgtest regression) Jun 07
• Processed (with 1 error): Re: Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 15
• Processed: libyojson-ocaml-dev should depend on yojson-tools Jun 15
• Bug#1073162: marked as done (yojson-tools: missing Breaks+Replaces: libyojson-ocaml-dev (<< 2.2)) Jun 16
• Processed: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Jun 21
• Processed: belenios: replace to-be-removed markdown build-dependency Jun 12
• Processed: Merge duplicates Jun 17
• Processed: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Jun 15
• Bug#1073269: marked as done (FTBFS in unstable with Error: Unbound type constructor Result.result) Jun 18
• Processed: block 1071970 with 999956 999960 999964 999968 999975 999984 1000014 1000065 1000093 1000100 1050187 999924 999930 1000053 1000067 1000076 1000087 1000129 1050182 1071681 1071686 999919 999938 999965 1000004 1000047 1000058 1000061 1000068 1070288 1073114 Jun 15
• Bug#958859: marked as done (approx update disabled because it can't be updated securely) Jun 07
• Bug#1073200: marked as done (ppx-expect: FTBFS in sid) Jun 15
• Bug#1073259: marked as done (libyojson-ocaml-dev should depend on yojson-tools) Jun 15
• Bug#877356: marked as done (yojson: Please consider putting /usr/bin/ydump into its own binary package) Jun 12
• Bug#806707: marked as done (approx cronjob fails on kfreebsd and hurd) Jun 06

Debian FTP Masters

• ppx-deriving_6.0.2-2_source.changes ACCEPTED into unstable Jun 07
• Processing of elpi_1.18.2-3_source.changes Jun 16
• Processing of ppx-variants-conv_0.17.0-1_source.changes Jun 17
• headache_1.08-1_source.changes ACCEPTED into unstable Jun 04
• ocaml-dune_3.15.3-1_source.changes ACCEPTED into unstable Jun 03
• js-of-ocaml_5.8.2-1_source.changes ACCEPTED into unstable Jun 04
• Processing of ppx-import_1.11.0-1_source.changes Jun 04
• Processing of meta-ocaml_5_source.changes Jun 27
• yojson_2.2.1-1_source.changes REJECTED Jun 11
• Processing of ocaml-conduit_6.2.2-1_source.changes Jun 04
• ppx-custom-printf_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• Processing of coq-bignums_9.0.0+coq8.20-1_source.changes Jun 25
• Processing of obus_1.2.5-1_source.changes Jun 07
• Processing of findlib_1.9.6-2_source.changes Jun 15
• Processing of ocaml_5.2.0-1~exp2_source.changes Jun 20
• Processing of headache_1.08-1_source.changes Jun 04
• Processing of ppx-deriving_6.0.2-1_source.changes Jun 03
• Processing of ocaml-config-file_1.2.1-4_source.changes Jun 16
• Processing of coq-doc_8.19.1-2_source.changes Jun 18
• Processing of ppx-string_0.17.0-1_source.changes Jun 17
• Processing of js-of-ocaml_5.8.2-2_source.changes Jun 15
• ppx-import_1.11.0-2_source.changes ACCEPTED into unstable Jun 18
• elpi_1.18.2-3_source.changes ACCEPTED into unstable Jun 16
• ppxlib-jane_0.17.0-2_source.changes REJECTED Jun 19
• coccinelle_1.1.1.deb-6_source.changes ACCEPTED into unstable Jun 29
• Processing of ocaml-visitors_20210608-6_source.changes Jun 04
• coq-bignums_9.0.0+coq8.20-1_source.changes ACCEPTED into unstable Jun 25
• Processing of opam_2.1.6-1_source.changes Jun 01
• elpi_1.18.2-2_source.changes ACCEPTED into unstable Jun 07
• ben_1.1_source.changes ACCEPTED into unstable Jun 27
• oasis_0.4.11-4_source.changes ACCEPTED into unstable Jun 29
• ocaml-ctypes_0.22.0-1_source.changes ACCEPTED into unstable Jun 04
• biniou_1.2.2-4_source.changes ACCEPTED into unstable Jun 15
• coq_8.19.1+dfsg-2_source.changes ACCEPTED into unstable Jun 15
• ocamlweb_1.41-6_source.changes ACCEPTED into unstable Jun 18
• Processing of oasis_0.4.11-4_source.changes Jun 29
• Processing of ben_1.0_source.changes Jun 26
• coq-interval_4.11.0-1_source.changes ACCEPTED into unstable Jun 08
• elpi_1.18.2-4_source.changes ACCEPTED into unstable Jun 18
• Processing of ppx-deriving-yojson_3.8.0-1_source.changes Jun 04
• Processing of ppx-custom-printf_0.17.0-1_source.changes Jun 17
• Processing of cmdliner_1.3.0-1_source.changes Jun 03
• Processing of ocplib-endian_1.2-4_source.changes Jun 15
• Processing of ocaml-ctypes_0.22.0-1_source.changes Jun 04
• Processing of headache_1.08-2_source.changes Jun 08
• Processing of ppxlib-jane_0.17.0-1_amd64.changes Jun 17
• Processing of ocaml-time-now_0.17.0-1_source.changes Jun 12
• Processing of ppx-here_0.17.0-1_source.changes Jun 17
• Processing of coq-interval_4.11.0-1_source.changes Jun 08
• ppx-expect_0.17.0-1_source.changes ACCEPTED into unstable Jun 15
• Accepted coq 8.19.1+dfsg-2 (source) into unstable Jun 15
• Processing of eliom_10.4.1-1_source.changes Jun 05
• Processing of utop_2.14.0-1_source.changes Jun 04
• Processing of hol-light_20231021-2_source.changes Jun 30
• ocsigenserver_5.1.2-2_source.changes ACCEPTED into unstable Jun 15
• Processing of ocaml-gettext_0.4.2-4_source.changes Jun 18
• Processing of ocaml-stdcompat_20~git20240529-1_source.changes Jun 29
• Processing of elpi_1.18.2-2_source.changes Jun 07
• camlpdf_2.7-1_source.changes ACCEPTED into unstable Jun 07
• Processing of dh-coq_0.9_source.changes Jun 01
• ocaml-dune_3.15.3-2_source.changes ACCEPTED into unstable Jun 15
• Processing of cudf_0.10-4_source.changes Jun 29
• Processing of ocamlmod_0.0.9-5_source.changes Jun 18
• opam_2.1.6-1_source.changes ACCEPTED into unstable Jun 01
• Processing of oasis_0.4.11-5_source.changes Jun 30
• Processing of ocaml_5.2.0-1~exp1_source.changes Jun 13
• camlmix_1.3.1-6_source.changes ACCEPTED into unstable Jun 15
• ppx-fields-conv_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• Processing of ppx-fields-conv_0.17.0-1_source.changes Jun 17
• Processing of ocaml-extunix_0.4.1-4_source.changes Jun 18
• oasis_0.4.11-5_source.changes ACCEPTED into unstable Jun 30
• Processing of ppxlib-jane_0.17.0-3_amd64.changes Jun 19
• mathcomp-analysis_1.2.0-1_source.changes ACCEPTED into unstable Jun 11
• coq-iris_4.2.0-2_source.changes ACCEPTED into unstable Jun 10
• Processing of ppx-inline-test_0.17.0-1_source.changes Jun 13
• Processing of ocaml-dune_3.15.3-1_source.changes Jun 03
• ocaml-conduit_6.2.2-1_source.changes ACCEPTED into unstable Jun 04
• ocaml-mad_0.5.3-1_source.changes ACCEPTED into unstable Jun 07
• Processing of ocaml-dune_3.15.3-2_source.changes Jun 15
• Processing of ppxlib_0.32.1-1_source.changes Jun 03
• ocamlify_0.0.2-11_source.changes ACCEPTED into unstable Jun 18
• ppx-inline-test_0.17.0-1_source.changes ACCEPTED into unstable Jun 13
• ocplib-simplex_0.5.1-1_source.changes ACCEPTED into unstable Jun 04
• Processing of ocaml-cstruct_6.2.0-3_source.changes Jun 15
• ocamlbuild_0.14.3-2_source.changes ACCEPTED into unstable Jun 15
• Processing of omd_1.3.2-2_source.changes Jun 18
• ppx-variants-conv_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• ppxlib-jane_0.17.0-3_amd64.changes is NEW Jun 19
• yojson_2.2.1-1_amd64.changes ACCEPTED into unstable Jun 12
• ocaml-cstruct_6.2.0-3_source.changes ACCEPTED into unstable Jun 15
• ocaml-alcotest_1.7.0-4_source.changes ACCEPTED into unstable Jun 15
• Processing of coq_8.19.1+dfsg-2_source.changes Jun 15
• mlgmp_20021123-23_source.changes ACCEPTED into unstable Jun 18
• omd_1.3.2-2_source.changes ACCEPTED into unstable Jun 18
• not-ocamlfind_0.13-1_source.changes ACCEPTED into unstable Jun 03
• cmdliner_1.3.0-1_source.changes ACCEPTED into unstable Jun 03
• Processing of ocplib-simplex_0.5.1-2_source.changes Jun 07
• headache_1.08-2_source.changes ACCEPTED into unstable Jun 08
• ocaml-ansi-terminal_0.8.5-4_source.changes ACCEPTED into unstable Jun 15
• ben_0.10.4_source.changes ACCEPTED into unstable Jun 14
• Processing of ocaml-randomconv_0.2.0-1_source.changes Jun 04
• coq-serapi_8.19.0+0.19.3-3_source.changes ACCEPTED into unstable Jun 18
• jane-street-headers_0.17.0-1_source.changes ACCEPTED into unstable Jun 12
• Processing of ocamlweb_1.41-6_source.changes Jun 18
• ben_1.0_source.changes ACCEPTED into unstable Jun 26
• ppx-string_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• tyxml_4.6.0-1_source.changes ACCEPTED into unstable Jun 04
• ppxlib_0.32.1-1_source.changes ACCEPTED into unstable Jun 03
• ocaml-extunix_0.4.1-4_source.changes ACCEPTED into unstable Jun 18
• ocaml-mirage-crypto_0.11.3-1_source.changes ACCEPTED into unstable Jun 04
• ocaml-randomconv_0.2.0-1_source.changes ACCEPTED into unstable Jun 04
• Bug#1055867: Removed package(s) from unstable Jun 19
• Processing of dose3_7.0.0-5_source.changes Jun 15
• ocaml_5.2.0-1~exp2_source.changes ACCEPTED into experimental Jun 20
• ocaml-visitors_20210608-6_source.changes ACCEPTED into unstable Jun 04
• ocaml-config-file_1.2.1-4_source.changes ACCEPTED into unstable Jun 16
• Processing of camlpdf_2.7-1_source.changes Jun 07
• ben_0.10.5_source.changes ACCEPTED into unstable Jun 16
• Processing of ppx-base_0.17.0-1_source.changes Jun 13
• hol-light_20231021-2_source.changes ACCEPTED into unstable Jun 30
• Processing of ocaml-alcotest_1.7.0-4_source.changes Jun 15
• js-of-ocaml_5.8.2-2_source.changes ACCEPTED into unstable Jun 15
• Processing of coq-iris_4.2.0-2_source.changes Jun 10
• ocaml-odoc_2.4.2-1_source.changes ACCEPTED into unstable Jun 04
• ppxlib-jane_0.17.0-1_amd64.changes is NEW Jun 17
• ppx-deriving-yojson_3.8.0-1_source.changes ACCEPTED into unstable Jun 04
• facile_1.1.4-4_source.changes ACCEPTED into unstable Jun 27
• ocaml_5.2.0-1~exp1_source.changes ACCEPTED into experimental Jun 13
• utop_2.14.0-1_source.changes ACCEPTED into unstable Jun 04
• ocplib-simplex_0.5.1-2_source.changes ACCEPTED into unstable Jun 07
• Processing of ppx-import_1.11.0-2_source.changes Jun 18
• ppx-import_1.11.0-1_source.changes ACCEPTED into unstable Jun 04
• dose3_7.0.0-5_source.changes ACCEPTED into unstable Jun 15
• Processing of ppx-cold_0.17.0-1_source.changes Jun 13
• Processing of ppx-deriving_6.0.2-2_source.changes Jun 07
• ppx-cold_0.17.0-1_source.changes ACCEPTED into unstable Jun 13
• Processing of camlmix_1.3.1-6_source.changes Jun 15
• Processing of ben_0.10.4_source.changes Jun 14
• ulex_1.2-3_source.changes ACCEPTED into unstable Jun 18
• Processing of ben_0.10.5_source.changes Jun 16
• Processing of mathcomp-analysis_1.2.0-1_source.changes Jun 11
• Processing of biniou_1.2.2-4_source.changes Jun 15
• Processing of coq-serapi_8.19.0+0.19.3-3_source.changes Jun 18
• obus_1.2.5-1_source.changes ACCEPTED into unstable Jun 07
• Processing of coccinelle_1.1.1.deb-6_source.changes Jun 29
• yojson_2.2.1-1_amd64.changes REJECTED Jun 11
• ocamlmod_0.0.9-5_source.changes ACCEPTED into unstable Jun 18
• ocaml-ipaddr_5.6.0-1_source.changes ACCEPTED into unstable Jun 04
• coq-doc_8.19.1-2_source.changes ACCEPTED into unstable Jun 18
• Processing of ocamlbuild_0.14.3-2_source.changes Jun 15
• Processing of ocaml-mad_0.5.3-1_source.changes Jun 07
• Processing of ocaml-batteries_3.8.0-1_source.changes Jun 04
• ppx-here_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• ocaml-time-now_0.17.0-1_source.changes ACCEPTED into unstable Jun 12
• Processing of tyxml_4.6.0-1_source.changes Jun 04
• Processing of yojson_2.2.1-1_amd64.changes Jun 11
• Processing of camlp5_8.03.00-1_source.changes Jun 29
• Processing of ocsigenserver_5.1.2-2_source.changes Jun 15
• dh-coq_0.9_source.changes ACCEPTED into unstable Jun 01
• ocaml-usb_1.3.1-6_source.changes ACCEPTED into unstable Jun 18
• Processing of ppxlib-jane_0.17.0-2_source.changes Jun 19
• Processing of yojson_2.2.1-2_source.changes Jun 16
• yojson_2.2.1-2_source.changes ACCEPTED into unstable Jun 16
• findlib_1.9.6-2_source.changes ACCEPTED into unstable Jun 15
• meta-ocaml_5_source.changes ACCEPTED into unstable Jun 27
• Processing of extlib_1.7.9-1_source.changes Jun 29
• Processing of yojson_2.2.1-1_source.changes Jun 11
• Processing of ocamlify_0.0.2-11_source.changes Jun 18
• Processing of jane-street-headers_0.17.0-1_source.changes Jun 12
• camlp5_8.03.00-1_source.changes ACCEPTED into unstable Jun 29
• Processing of ben_1.1_source.changes Jun 27
• eliom_10.4.1-1_source.changes ACCEPTED into unstable Jun 05
• Processing of ocaml-ansi-terminal_0.8.5-4_source.changes Jun 15
• ocaml-stdcompat_20~git20240529-1_source.changes ACCEPTED into unstable Jun 29
• Processing of ocaml-odoc_2.4.2-2_source.changes Jun 15
• ppx-deriving_6.0.2-1_source.changes ACCEPTED into unstable Jun 03
• Accepted ocaml-mad 0.5.3-1 (source) into unstable Jun 07
• Processing of yojson_2.2.1-1_amd64.changes Jun 11
• cudf_0.10-4_source.changes ACCEPTED into unstable Jun 29
• Processing of ocaml-usb_1.3.1-6_source.changes Jun 18
• Processing of elpi_1.18.2-4_source.changes Jun 18
• Processing of ocaml-mirage-crypto_0.11.3-1_source.changes Jun 04
• Processing of ulex_1.2-3_source.changes Jun 18
• ocaml-batteries_3.8.0-1_source.changes ACCEPTED into unstable Jun 04
• Processing of not-ocamlfind_0.13-1_source.changes Jun 03
• yojson_2.2.1-1_amd64.changes is NEW Jun 11
• Processing of ocplib-simplex_0.5.1-1_source.changes Jun 04
• Processing of ocaml-ipaddr_5.6.0-1_source.changes Jun 04
• Processing of aac-tactics_8.19.1-1_source.changes Jun 11
• Processing of dh-ocaml_2.1_source.changes Jun 15
• Processing of ocaml-odoc_2.4.2-1_source.changes Jun 04
• Processing of facile_1.1.4-4_source.changes Jun 27
• ocplib-endian_1.2-4_source.changes ACCEPTED into unstable Jun 15
• ppx-base_0.17.0-1_source.changes ACCEPTED into unstable Jun 13
• Processing of ppx-expect_0.17.0-1_source.changes Jun 15
• dh-ocaml_2.1_source.changes ACCEPTED into unstable Jun 15
• Processing of ppx-optcomp_0.17.0-1_source.changes Jun 17
• ocaml-gettext_0.4.2-4_source.changes ACCEPTED into unstable Jun 18
• ppx-optcomp_0.17.0-1_source.changes ACCEPTED into unstable Jun 17
• ocaml-odoc_2.4.2-2_source.changes ACCEPTED into unstable Jun 15
• Processing of mlgmp_20021123-23_source.changes Jun 18
• aac-tactics_8.19.1-1_source.changes ACCEPTED into unstable Jun 11
• Processing of js-of-ocaml_5.8.2-1_source.changes Jun 04
• extlib_1.7.9-1_source.changes ACCEPTED into unstable Jun 29

Debian testing autoremoval watch

• coq-hammer is marked for autoremoval from testing Jun 09
• coq-elpi is marked for autoremoval from testing Jun 09
• paramcoq is marked for autoremoval from testing Jun 09
• coq-simple-io is marked for autoremoval from testing Jun 09
• coq-mtac2 is marked for autoremoval from testing Jun 09
• coq-math-classes is marked for autoremoval from testing Jun 09
• coq-libhyps is marked for autoremoval from testing Jun 09
• coq-dpdgraph is marked for autoremoval from testing Jun 09
• mathcomp-real-closed is marked for autoremoval from testing Jun 09
• ott is marked for autoremoval from testing Jun 09
• belenios is marked for autoremoval from testing Jun 10
• coq is marked for autoremoval from testing Jun 09
• coq-extructures is marked for autoremoval from testing Jun 09
• ssreflect is marked for autoremoval from testing Jun 09
• mathcomp-finmap is marked for autoremoval from testing Jun 09
• coq-unimath is marked for autoremoval from testing Jun 09
• coq-equations is marked for autoremoval from testing Jun 09
• mathcomp-zify is marked for autoremoval from testing Jun 09
• coquelicot is marked for autoremoval from testing Jun 09
• coq-corn is marked for autoremoval from testing Jun 09
• coq-interval is marked for autoremoval from testing Jun 09
• coq-record-update is marked for autoremoval from testing Jun 09
• coq-hierarchy-builder is marked for autoremoval from testing Jun 09
• ocaml-luv is marked for autoremoval from testing Jun 20
• flocq is marked for autoremoval from testing Jun 09
• coq-hott is marked for autoremoval from testing Jun 09
• coq-stdpp is marked for autoremoval from testing Jun 09
• aac-tactics is marked for autoremoval from testing Jun 09
• coq-reglang is marked for autoremoval from testing Jun 09
• mathcomp-analysis is marked for autoremoval from testing Jun 09
• mathcomp-multinomials is marked for autoremoval from testing Jun 09
• coq-unicoq is marked for autoremoval from testing Jun 09
• mathcomp-bigenough is marked for autoremoval from testing Jun 09
• coq-bignums is marked for autoremoval from testing Jun 09
• coq-quickchick is marked for autoremoval from testing Jun 09
• coq-relation-algebra is marked for autoremoval from testing Jun 09
• coq-gappa is marked for autoremoval from testing Jun 09
• coq-reduction-effects is marked for autoremoval from testing Jun 09
• mathcomp-algebra-tactics is marked for autoremoval from testing Jun 09
• coq-ext-lib is marked for autoremoval from testing Jun 09
• coqprime is marked for autoremoval from testing Jun 09
• coq-deriving is marked for autoremoval from testing Jun 09
• coq-iris is marked for autoremoval from testing Jun 09
• coq-menhirlib is marked for autoremoval from testing Jun 09
• coqeal is marked for autoremoval from testing Jun 09

Debian testing watch

• ocaml-mad 0.5.3-1 MIGRATED to testing Jun 13
• coq 8.19.1+dfsg-2 MIGRATED to testing Jun 24

Gianfranco Costamagna

• Bug#1072672: ppx-deriving: autopkgtest regression Jun 06
• Bug#1073200: ppx-expect: FTBFS in sid Jun 14
• Bug#1072668: ocplib-simplex: autopkgtest failures (missing zarith) Jun 06

Gianfranco Costamagna (@locutusofborg)

• [Git][ocaml-team/opam] Pushed new tag debian/2.1.6-1 Jun 01
• [Git][ocaml-team/opam][master] Update changelog, upload to sid Jun 01
• [Git][ocaml-team/opam][pristine-tar] 4 commits: pristine-tar data for opam_2.1.6.orig.tar.gz Jun 01

Helmut Grohne

• Bug#1073995: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Jun 21
• Bug#1073243: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Jun 15

Jeremy Bícha

• Bug#1074557: extlib: Failing autopkgtests Jun 30

Johannes Schauer Marin Rodrigues

• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 16
• Bug#877356: marked as pending in yojson Jun 13
• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 15
• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 15
• Bug#1073269: FTBFS in unstable with Error: Unbound type constructor Result.result Jun 15
• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 15

julien . puydt

• Bug#1073289: OCaml 5.2.0 Jun 17
• Bug#1073289: OCaml 5.2.0 Jun 18
• Bug#1073289: OCaml 5.2.0 Jun 16
• Re: ppxlib-jane_0.17.0-1_amd64.changes REJECTED Jun 19
• Bug#1073259: libyojson-ocaml-dev should depend on yojson-tools Jun 16
• Bug#1073289: OCaml 5.2.0 Jun 18
• Bug#1073289: OCaml 5.2.0 Jun 20
• Bug#1073289: OCaml 5.2.0 Jun 18
• Re: ppxlib-jane_0.17.0-1_amd64.changes REJECTED Jun 19

Julien Puydt (@jpuydt)

• [Git][ocaml-team/ppx-optcomp] Pushed new tag upstream/0.17.0 Jun 17
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.19.1 Jun 11
• [Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_2.2.1.orig.tar.gz Jun 11
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.19.1-1 Jun 11
• [Git][ocaml-team/yojson] Pushed new tag upstream/2.2.1 Jun 11
• [Git][ocaml-team/menhir][master] Fix debian/watch Jun 11
• [Git][ocaml-team/ppx-optcomp][pristine-tar] pristine-tar data for ppx-optcomp_0.17.0.orig.tar.gz Jun 17
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.19.1.orig.tar.gz Jun 11
• [Git][ocaml-team/yojson] Pushed new tag debian/2.2.1-2 Jun 16
• [Git][ocaml-team/yojson] Pushed new tag debian/2.2.1-1 Jun 11

[previous month]

[first page]

[previous page]

Page 1 of 2

[next page]

[last page]

[next month]

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