debian-ocaml-maint Jan 2022 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu (@glondu)

• [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.14.0-3 Jan 20
• [Git][ocaml-team/ulex0.8] Pushed new tag archive/debian/1.2-2 Jan 20
• [Git][ocaml-team/xstrp4][master] 2 commits: Update packaging Jan 25
• [Git][ocaml-team/tophide][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/ocaml-migrate-parsetree][master] Remove obsolete autopkgtest Jan 27
• [Git][ocaml-team/ocaml-sedlex][master] 2 commits: Update packaging Jan 21
• [Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag archive/debian/2.3.0-1 Jan 20
• [Git][ocaml-team/ppx-sexp-conv][upstream] 3 commits: New upstream version 0.14.2 Jan 20
• [Git][ocaml-team/xstrp4] Pushed new tag archive/debian/1.8.2-4 Jan 20
• [Git][ocaml-team/camomile][upstream] New upstream version 1.0.2+2 Jan 10
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/2.5-1 Jan 21
• [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-9 Jan 25
• [Git][ocaml-team/ocaml-bitstring][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/ledit] Pushed new tag archive/debian/2.04-6 Jan 20
• [Git][ocaml-team/ocaml-tools][master] 2 commits: Update packaging Jan 25
• [Git][ocaml-team/ocamlbuild][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/camomile] Pushed new tag archive/debian/1.0.2+2-1 Jan 10
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/2.5-2 Jan 27
• [Git][ocaml-team/ulex0.8] Pushed new tag debian/1.2-2 Jan 20
• [Git][ocaml-team/unison] Pushed new tag upstream/2.51.4 Jan 22
• [Git][ocaml-team/xstrp4][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/mlpost] Pushed new tag archive/debian/0.9-2 Jan 22
• [Git][ocaml-team/ocaml][upstream/sid] 5 commits: New upstream version 4.11.2 Jan 19
• [Git][ocaml-team/nss-passwords] Pushed new tag debian/0.3-2 Jan 01
• [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/5.2.1-1 Jan 21
• [Git][ocaml-team/ocamlify] Pushed new tag archive/debian/0.0.2-9 Jan 20
• [Git][ocaml-team/hlins] Pushed new tag archive/debian/0.39-29 Jan 19
• [Git][ocaml-team/ocamlwc][master] 2 commits: Update packaging Jan 19
• [Git][ocaml-team/ppx-sexp-conv][master] 7 commits: Update debian/watch Jan 20
• [Git][ocaml-team/unison] Pushed new tag debian/2.51.5-1 Jan 22
• [Git][ocaml-team/tophide] Pushed new tag debian/1.0.4-4 Jan 20
• [Git][ocaml-team/unison][2.51/debian] 7 commits: Recompile with OCaml 4.13.1 Jan 22
• [Git][ocaml-team/unison] Pushed new tag upstream/2.51.5 Jan 22
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.13.1-3 Jan 19
• [Git][ocaml-team/camomile] Pushed new tag debian/1.0.2+2-1 Jan 10
• [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.3.2-1 Jan 20
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/4.1.0-1 Jan 20
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/4.1.0-1 Jan 20
• [Git][ocaml-team/ocsigenserver][master] 15 commits: Update debian/watch Jan 23
• [Git][ocaml-team/polygen] Pushed new tag debian/1.0.6.ds2-23 Jan 19
• [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20210608-1 Jan 21
• [Git][ocaml-team/ocamlify] Pushed new tag debian/0.0.2-9 Jan 20
• [Git][ocaml-team/ocsigenserver][upstream] 8 commits: New upstream version 2.17.0 Jan 23
• [Git][ocaml-team/camlp5][pristine-tar] 3 commits: pristine-tar data for camlp5_8.00.orig.tar.gz Jan 19
• [Git][ocaml-team/ocamlwc] Pushed new tag debian/0.3-18 Jan 19
• [Git][ocaml-team/ppx-sexp-conv][pristine-tar] 3 commits: pristine-tar data for ppx-sexp-conv_0.14.2.orig.tar.gz Jan 20
• [Git][ocaml-team/xstrp4] Pushed new tag debian/1.8.2-4 Jan 20
• [Git][ocaml-team/ocamlify][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/ledit] Pushed new tag debian/2.04-6 Jan 20
• [Git][ocaml-team/ocsigenserver][pristine-tar] 8 commits: pristine-tar data for ocsigenserver_2.17.0.orig.tar.gz Jan 23
• [Git][ocaml-team/xstrp4] Pushed new tag debian/1.8.2-5 Jan 25
• [Git][ocaml-team/ppx-deriving][master] 2 commits: Update packaging Jan 21
• [Git][ocaml-team/ulex0.8][master] Prepare upload to unstable Jan 20
• [Git][ocaml-team/ocaml-visitors][master] 2 commits: Update packaging Jan 21
• [Git][ocaml-team/unison][2.51/upstream] 2 commits: New upstream version 2.51.4 Jan 22
• [Git][ocaml-team/ocamlwc] Pushed new tag archive/debian/0.3-18 Jan 19
• [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-8 Jan 19
• [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/3.11.0-1 Jan 21
• [Git][ocaml-team/ocamlviz] Pushed new tag archive/debian/1.01-6 Jan 22
• [Git][ocaml-team/pxp] Pushed new tag archive/debian/1.2.9-3 Jan 25
• [Git][ocaml-team/unison][pristine-tar] 2 commits: pristine-tar data for unison-2.51+4.13.1_2.51.4.orig.tar.gz Jan 22
• [Git][ocaml-team/camlp5][upstream] 3 commits: New upstream version 8.00 Jan 19
• [Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag archive/debian/2.3.0-2 Jan 27
• [Git][ocaml-team/cothreads] Pushed new tag debian/0.10-6 Jan 02
• [Git][ocaml-team/xstrp4] Pushed new tag archive/debian/1.8.2-5 Jan 25
• [Git][ocaml-team/camlp5][master] 8 commits: Update debian/watch Jan 19
• [Git][ocaml-team/camlp4][pristine-tar] 2 commits: pristine-tar data for camlp4_4.12+1.orig.tar.gz Jan 20
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20210608-1 Jan 21
• [Git][ocaml-team/ocaml-extunix][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-9 Jan 25
• [Git][ocaml-team/hlins][master] 2 commits: Update packaging Jan 19
• [Git][ocaml-team/mlpost] Pushed new tag debian/0.9-2 Jan 22
• [Git][ocaml-team/ocamlviz][master] 2 commits: Update packaging Jan 22
• [Git][ocaml-team/pxp] Pushed new tag debian/1.2.9-3 Jan 25
• [Git][ocaml-team/tophide] Pushed new tag archive/debian/1.0.4-4 Jan 20
• [Git][ocaml-team/polygen] Pushed new tag archive/debian/1.0.6.ds2-23 Jan 19
• [Git][ocaml-team/ppx-optcomp][pristine-tar] 4 commits: pristine-tar data for ppx-optcomp_0.14.1.orig.tar.gz Jan 21
• [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.3.2-1 Jan 20
• [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-8 Jan 19
• [Git][ocaml-team/polygen][master] 2 commits: Update packaging Jan 19
• [Git][ocaml-team/ocamlgraph][master] Switch to main branches Jan 22
• [Git][ocaml-team/camomile] Pushed new tag upstream/1.0.2+2 Jan 10
• [Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag debian/2.3.0-1 Jan 20
• [Git][ocaml-team/pxp][master] 2 commits: Update packaging Jan 25
• [Git][ocaml-team/ledit][master] Update changelog and prepare upload to unstable Jan 20
• [Git][ocaml-team/ocaml-tools][master] 2 commits: Update packaging Jan 19
• [Git][ocaml-team/ocaml-migrate-parsetree][master] 2 commits: Update packaging Jan 20
• [Git][ocaml-team/ocamlviz] Pushed new tag debian/1.01-6 Jan 22
• [Git][ocaml-team/ocaml-sedlex][master] Fix autopkgtest Jan 27
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/2.5-2 Jan 27
• [Git][ocaml-team/ocaml] Pushed new tag debian/4.13.1-3 Jan 19
• [Git][ocaml-team/lablgtk-extras] Pushed new tag debian/1.6-3 Jan 02
• [Git][ocaml-team/camomile][master] 6 commits: Fix debian/watch Jan 10
• [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.14.0-3 Jan 20
• [Git][ocaml-team/js-of-ocaml][master] 2 commits: Update packaging Jan 21
• [Git][ocaml-team/camomile][pristine-tar] pristine-tar data for camomile_1.0.2+2.orig.tar.bz2 Jan 10
• [Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag debian/2.3.0-2 Jan 27
• [Git][ocaml-team/ocaml][debian/sid] 26 commits: Switch to experimental branches Jan 19
• [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/3.11.0-1 Jan 21
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/2.5-1 Jan 21
• [Git][ocaml-team/hlins] Pushed new tag debian/0.39-29 Jan 19
• [Git][ocaml-team/ppx-deriving] Pushed new tag debian/5.2.1-1 Jan 21

Stéphane Glondu

• Bug#1002942: FTBFS with ocaml-migrate-parsetree 2.3.0 Jan 01
• Bug#1004245: ITP: ocsipersist -- Persistent key/value storage for Ocsigen using multiple backends Jan 23
• Bug#1002940: FTBFS with ocaml-migrate-parsetree 2.3.0 Jan 01
• Bug#1002983: FTBFS with camlp5 8.00.02 Jan 02
• Bug#1002984: FTBFS with ocaml-migrate-parsetree 2.3.0 Jan 02
• Bug#1002941: FTBFS with ocaml-migrate-parsetree 2.3.0 Jan 01
• Bug#1002677: v2.0.2 fails to compile Jan 10
• Bug#1002988: FTBFS with camlp5 8.00.02 Jan 02
• Bug#1003586: FTBFS with OCaml 4.13.1 Jan 12
• Bug#1002677: v2.0.2 fails to compile Jan 10

Stéphane Glondu

• Re: Bug#1002681: transition: ocaml Jan 24
• Re: Bug#1002681: transition: ocaml Jan 10
• Re: Bug#1004477: virt-top fails to start with OCaml 4.13.1 Jan 28

Adrian Bunk

• Bug#1003801: why3 FTBFS: Error: File graph.cmo not found Jan 15
• Bug#1003741: ocaml-conduit FTBFS on bytecode architectures Jan 14
• Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable Jan 15
• Bug#1004052: ledit FTBFS with OCaml 4.13.1 Jan 19
• Bug#1003742: ocaml-ca-certs FTBFS on bytecode architectures Jan 14
• Bug#1004477: virt-top fails to start with OCaml 4.13.1 Jan 28

Andreas Beckmann

• Bug#1003539: coq-doc: several releases behind coq Jan 11

Debian Bug Tracking System

• Processed: closing 1003742 Jan 14
• Processed: bug 858520 is forwarded to https://github.com/glondu/nss-passwords/issues/5, tagging 858520 Jan 01
• Bug#1003586: marked as done (FTBFS with OCaml 4.13.1) Jan 17
• Processed: Bug#1003797 marked as pending in ssreflect Jan 17
• Bug#1002984: marked as done (FTBFS with ocaml-migrate-parsetree 2.3.0) Jan 22
• Processed: Bug#995560 marked as pending in ulex0.8 Jan 02
• Bug#1003797: marked as done (libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable) Jan 18
• Bug#1003741: marked as done (ocaml-conduit FTBFS on bytecode architectures) Jan 14
• Bug#973181: marked as done (camljava: FTBFS: Please specify at most one of -pack, -a, -c, -output-obj) Jan 03
• Processed: tagging 722978 Jan 01
• Bug#969033: marked as done (nss-passwords: out of date description) Jan 01
• Bug#995560: marked as done (Updating the ulex0.8 Uploaders list) Jan 20
• Processed: tagging 1002657, tagging 1002658, tagging 1002940, tagging 1002941, tagging 1002942, tagging 1002983 ... Jan 19
• Processed: Bug#1002984 marked as pending in mlpost Jan 22
• Bug#1002930: marked as done (coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.) Jan 17
• Processed: Bug#1003586 marked as pending in coq Jan 17
• Bug#1002677: marked as done (FTBFS in unstable) Jan 11
• Processed: bug 722978 is forwarded to https://github.com/glondu/nss-passwords/issues/4 Jan 01
• Processed: Upstreamed ffmpeg FTBFS Jan 31
• Bug#1002988: marked as done (FTBFS with camlp5 8.00.02) Jan 21
• Processed: severity of 1002634 is serious, severity of 1002607 is serious, severity of 1002608 is serious ... Jan 19
• Processed: Fix syntax Jan 10
• Bug#1002930: marked as done (coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.) Jan 17
• Processed: Bug#973181 marked as pending in camljava Jan 03
• Bug#1004052: marked as done (ledit FTBFS with OCaml 4.13.1) Jan 20
• Bug#1003742: marked as done (ocaml-ca-certs FTBFS on bytecode architectures) Jan 15

Debian FTP Masters

• Bug#1003434: Removed package(s) from unstable Jan 10
• ocaml-lame_0.3.5-1_source.changes ACCEPTED into unstable Jan 05
• Processing of ppx-custom-printf_0.14.1-1_source.changes Jan 21
• mlpost_0.9-2_source.changes ACCEPTED into unstable Jan 22
• ocaml-speex_0.4.1-1_source.changes ACCEPTED into unstable Jan 10
• unison-2.51+4.13.1_2.51.5-1_amd64.changes is NEW Jan 22
• ppx-sexp-conv_0.14.3-1_source.changes ACCEPTED into unstable Jan 21
• Processing of liquidsoap_2.0.2-1_source.changes Jan 11
• Processing of tophide_1.0.4-4_source.changes Jan 20
• coq-hierarchy-builder_1.2.1-1_source.changes ACCEPTED into unstable Jan 17
• Accepted coq 8.14.1+dfsg-2 (source) into unstable Jan 17
• ocaml-conduit_4.0.2-3_source.changes ACCEPTED into unstable Jan 14
• coq-elpi_1.12.1-1_source.changes ACCEPTED into unstable Jan 21
• coq_8.15.0+dfsg-1_source.changes ACCEPTED into unstable Jan 17
• Processing of ocaml-migrate-parsetree_2.3.0-2_source.changes Jan 27
• ulex0.8_1.2-2_source.changes ACCEPTED into unstable Jan 20
• Processing of hlins_0.39-29_source.changes Jan 19
• Processing of ledit_2.04-6_source.changes Jan 20
• Processing of coq-elpi_1.12.1-1_source.changes Jan 21
• ocaml-migrate-parsetree_2.3.0-1_source.changes ACCEPTED into unstable Jan 20
• Processing of pxp_1.2.9-3_source.changes Jan 25
• Processing of ocaml-visitors_20210608-1_source.changes Jan 21
• pxp_1.2.9-3_source.changes ACCEPTED into unstable Jan 25
• ocaml-cohttp_4.0.0-1_amd64.changes ACCEPTED into unstable, unstable Jan 22
• xstrp4_1.8.2-4_source.changes ACCEPTED into unstable Jan 20
• Processing of ocamlify_0.0.2-9_source.changes Jan 20
• Processing of ocaml-sedlex_2.5-1_source.changes Jan 21
• Processing of ocaml-ffmpeg_1.1.1-1_source.changes Jan 05
• ocaml-ffmpeg_1.1.1-1_source.changes ACCEPTED into unstable Jan 05
• ocaml-odoc-parser_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Jan 09
• ppx-deriving_5.2.1-1_source.changes ACCEPTED into unstable Jan 21
• ocaml-tools_20120103-9_source.changes ACCEPTED into unstable Jan 25
• camlp5_8.00.02-1_source.changes ACCEPTED into unstable Jan 19
• Processing of lablgtk-extras_1.6-3_source.changes Jan 02
• Processing of ocaml-speex_0.4.1-1_source.changes Jan 10
• Processing of ocaml-conduit_4.0.2-3_source.changes Jan 14
• Processing of ocamlbuild_0.14.0-3_source.changes Jan 20
• Processing of ocaml-sedlex_2.5-2_source.changes Jan 27
• Bug#1003434: Removed package(s) from unstable Jan 10
• Processing of ocaml-mm_0.7.3-1_source.changes Jan 05
• ocaml-ca-certs_0.2.2-2_source.changes ACCEPTED into unstable Jan 14
• Processing of ocaml-tools_20120103-9_source.changes Jan 25
• Processing of coq-elpi_1.12.0-1_source.changes Jan 17
• Processing of ocaml-lame_0.3.5-1_source.changes Jan 05
• tophide_1.0.4-4_source.changes ACCEPTED into unstable Jan 20
• nss-passwords_0.3-2_source.changes ACCEPTED into unstable Jan 01
• xstrp4_1.8.2-5_source.changes ACCEPTED into unstable Jan 25
• ocaml-num_1.4-2_source.changes ACCEPTED into unstable Jan 20
• Processing of coq-elpi_1.11.2-2_source.changes Jan 17
• Processing of coq_8.14.1+dfsg-2_source.changes Jan 17
• Processing of cothreads_0.10-6_source.changes Jan 02
• ppx-custom-printf_0.14.1-1_source.changes ACCEPTED into unstable Jan 21
• ssreflect_1.14.0-1_source.changes ACCEPTED into unstable Jan 24
• elpi_1.13.8-2_source.changes ACCEPTED into unstable Jan 21
• Processing of coq-hierarchy-builder_1.2.1-1_source.changes Jan 17
• Processing of ocaml-ca-certs_0.2.2-2_source.changes Jan 14
• Processing of camomile_1.0.2+2-1_source.changes Jan 10
• camljava_0.3-4_source.changes ACCEPTED into unstable Jan 03
• ocaml-cohttp_4.0.0-1_amd64.changes is NEW Jan 15
• Processing of camljava_0.3-4_source.changes Jan 03
• ocamlbuild_0.14.0-3_source.changes ACCEPTED into unstable Jan 20
• ocaml-ca-certs_0.2.2-1_amd64.changes ACCEPTED into unstable, unstable Jan 14
• Bug#1001493: Removed package(s) from unstable Jan 10
• Processing of ppx-sexp-conv_0.14.3-1_source.changes Jan 21
• Processing of wyrd_1.5.0-1_source.changes Jan 09
• ocaml-odoc_2.0.2+dfsg-1_source.changes ACCEPTED into unstable Jan 10
• Processing of ocaml-num_1.4-2_source.changes Jan 20
• coq_8.14.1+dfsg-2_source.changes ACCEPTED into unstable Jan 17
• ocaml-sedlex_2.5-1_source.changes ACCEPTED into unstable Jan 21
• Processing of ocsipersist_1.0.5-1_amd64.changes Jan 23
• Processing of camlp4_4.13+1-1_source.changes Jan 20
• Processing of ppx-deriving_5.2.1-1_source.changes Jan 21
• lablgtk-extras_1.6-3_source.changes ACCEPTED into unstable Jan 02
• hlins_0.39-29_source.changes ACCEPTED into unstable Jan 19
• ocaml-bitstring_4.1.0-1_source.changes ACCEPTED into unstable Jan 20
• Processing of ocaml-extunix_0.3.2-1_source.changes Jan 20
• coq-elpi_1.12.0-1_source.changes ACCEPTED into unstable Jan 17
• Processing of ocaml-migrate-parsetree_2.3.0-1_source.changes Jan 20
• Processing of ocaml_4.13.1-3_source.changes Jan 19
• ppxlib_0.24.0-1_source.changes ACCEPTED into unstable Jan 20
• ppx-variants-conv_0.14.2-1_source.changes ACCEPTED into unstable Jan 21
• ocamlviz_1.01-6_source.changes ACCEPTED into unstable Jan 22
• ocaml-migrate-parsetree_2.3.0-2_source.changes ACCEPTED into unstable Jan 27
• Processing of coq_8.15.0+dfsg-1_source.changes Jan 17
• ocamlwc_0.3-18_source.changes ACCEPTED into unstable Jan 19
• ocaml-sedlex_2.5-2_source.changes ACCEPTED into unstable Jan 27
• liquidsoap_2.0.2-1_source.changes ACCEPTED into unstable Jan 11
• ocaml-conduit_4.0.2-2_amd64.changes ACCEPTED into unstable, unstable Jan 14
• ocsipersist_1.0.5-1_amd64.changes is NEW Jan 23
• Processing of unison-2.51+4.13.1_2.51.5-1_amd64.changes Jan 22
• js-of-ocaml_3.11.0-1_source.changes ACCEPTED into unstable Jan 21
• ppx-fields-conv_0.14.2-1_source.changes ACCEPTED into unstable Jan 21
• Processing of ben_0.10.0_source.changes Jan 22
• Processing of elpi_1.13.8-2_source.changes Jan 21
• Processing of xstrp4_1.8.2-4_source.changes Jan 20
• ben_0.10.0_source.changes ACCEPTED into unstable Jan 22
• camomile_1.0.2+2-1_source.changes ACCEPTED into unstable Jan 10
• Processing of js-of-ocaml_3.11.0-1_source.changes Jan 21
• cothreads_0.10-6_source.changes ACCEPTED into unstable Jan 02
• ocaml-mm_0.7.3-1_source.changes ACCEPTED into unstable Jan 05
• Processing of xstrp4_1.8.2-5_source.changes Jan 25
• ocaml-tools_20120103-8_source.changes ACCEPTED into unstable Jan 19
• Processing of ulex0.8_1.2-2_source.changes Jan 20
• ocaml-visitors_20210608-1_source.changes ACCEPTED into unstable Jan 21
• Processing of ssreflect_1.13.0-2_source.changes Jan 18
• Processing of ocaml-opus_0.2.1-1_source.changes Jan 05
• ocaml-opus_0.2.1-1_source.changes ACCEPTED into unstable Jan 05
• Processing of ssreflect_1.14.0-1_source.changes Jan 24
• wyrd_1.5.0-1_source.changes ACCEPTED into unstable Jan 09
• Processing of ocsigenserver_5.0.1-1_source.changes Jan 23
• Processing of ocamlwc_0.3-18_source.changes Jan 19
• ssreflect_1.13.0-2_source.changes ACCEPTED into unstable Jan 18
• Processing of ocamlviz_1.01-6_source.changes Jan 22
• ocaml_4.13.1-3_source.changes ACCEPTED into unstable Jan 19
• Processing of mlpost_0.9-2_source.changes Jan 22
• Processing of ppx-fields-conv_0.14.2-1_source.changes Jan 21
• Processing of ocaml-bitstring_4.1.0-1_source.changes Jan 20
• Processing of ppx-variants-conv_0.14.2-1_source.changes Jan 21
• ppx-optcomp_0.15.0-1_source.changes ACCEPTED into unstable Jan 21
• coq-elpi_1.11.2-2_source.changes ACCEPTED into unstable Jan 17
• camlp4_4.13+1-1_source.changes ACCEPTED into unstable Jan 20
• ocsigenserver_5.0.1-1_source.changes ACCEPTED into unstable Jan 23
• ocamlify_0.0.2-9_source.changes ACCEPTED into unstable Jan 20
• Accepted coq 8.15.0+dfsg-1 (source) into unstable Jan 17
• ocaml-extunix_0.3.2-1_source.changes ACCEPTED into unstable Jan 21
• ledit_2.04-6_source.changes ACCEPTED into unstable Jan 20
• Processing of ocaml-cohttp_4.0.0-1_amd64.changes Jan 15
• Processing of ppxlib_0.24.0-1_source.changes Jan 20
• Processing of ocaml-tools_20120103-8_source.changes Jan 19
• Processing of nss-passwords_0.3-2_source.changes Jan 01
• Processing of ppx-optcomp_0.15.0-1_source.changes Jan 21
• Processing of camlp5_8.00.02-1_source.changes Jan 19
• Processing of ocaml-odoc_2.0.2+dfsg-1_source.changes Jan 10

Debian testing autoremoval watch

• mlpost is marked for autoremoval from testing Jan 21
• ppx-deriving-yojson is marked for autoremoval from testing Jan 21
• pgocaml is marked for autoremoval from testing Jan 21
• coq-elpi is marked for autoremoval from testing Jan 21
• ocaml-visitors is marked for autoremoval from testing Jan 21
• coq-hierarchy-builder is marked for autoremoval from testing Jan 25
• nurpawiki is marked for autoremoval from testing Jan 21
• hol-light is marked for autoremoval from testing Jan 21
• morbig is marked for autoremoval from testing Jan 21
• ppxfind is marked for autoremoval from testing Jan 21
• otags is marked for autoremoval from testing Jan 21
• elpi is marked for autoremoval from testing Jan 21
• ocamlviz is marked for autoremoval from testing Jan 21
• ocaml-sedlex is marked for autoremoval from testing Jan 21
• eliom is marked for autoremoval from testing Jan 21
• liquidsoap is marked for autoremoval from testing Jan 21
• morsmall is marked for autoremoval from testing Jan 21
• ppx-tools-versioned is marked for autoremoval from testing Jan 21
• ppx-deriving is marked for autoremoval from testing Jan 21
• ledit is marked for autoremoval from testing Jan 28
• liquidsoap is marked for autoremoval from testing Jan 05

Debian testing watch

• coq 8.14.1+dfsg-1 MIGRATED to testing Jan 11

debian-bts-link

• [bts-link] source package nss-passwords Jan 06

Jochen Sprickerhof

• Bug#1003323: Failure Config file not found (missing dependency) Jan 08

Julien Puydt

• Re: Bug#1003438: RM: why3 [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 11
• Bug#1003437: RM: coq-float [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 10
• Bug#1002988: Too early to fix Jan 19
• Bug#1003436: RM: aac-tactics [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 10
• Bug#1003434: RM: prooftree [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 10
• Bug#1003438: RM: why3 [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 10
• Bug#1003586: marked as pending in coq Jan 17
• Bug#1002988: Waiting for b-deps Jan 20
• Bug#1003586: Fixed in next upstream Jan 17
• Bug#1003435: RM: ssreflect [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 10

Julien Puydt (@jpuydt)

• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.0+dfsg.orig.tar.xz Jan 17
• [Git][ocaml-team/coq] Pushed new tag upstream/8.15.0+dfsg Jan 17
• [Git][ocaml-team/coq][master] 2 commits: Make the ocaml libs available in /usr/lib/ocaml Jan 17
• [Git][ocaml-team/coq] Pushed new tag debian/8.14.1+dfsg-2 Jan 17
• [Git][ocaml-team/coq][master] 6 commits: Drop some Files-Excluded from d/copyright (removed upstream) Jan 17
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-1 Jan 24
• [Git][ocaml-team/coq] Pushed new tag debian/8.15.0+dfsg-1 Jan 17
• [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.14.0.orig.tar.gz Jan 24
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.14.0 Jan 24
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.13.0-2 Jan 17
• [Git][ocaml-team/coq][upstream] New upstream version 8.15.0+dfsg Jan 17

Kyle Robbertze

• Bug#1002677: v2.0.2 fails to compile Jan 10
• Bug#1002677: v2.0.2 fails to compile Jan 10

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/liquidsoap][master] 3 commits: Update ocaml build-dep name Jan 11
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.0.2-1 Jan 11
• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.0.2 Jan 10
• [Git][ocaml-team/liquidsoap][pristine-tar] 3 commits: pristine-tar data for liquidsoap_2.0.0.orig.tar.bz2 Jan 10
• [Git][ocaml-team/ocaml-opus] Pushed new tag upstream/0.2.1 Jan 05
• [Git][ocaml-team/ocaml-speex] Pushed new tag debian/0.4.1-1 Jan 10
• [Git][ocaml-team/ocaml-speex][pristine-tar] pristine-tar data for ocaml-speex_0.4.1.orig.tar.gz Jan 10
• [Git][ocaml-team/liquidsoap][master] 10 commits: New upstream version 2.0.0 Jan 10
• [Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.5.orig.tar.gz Jan 05
• [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.1-1 Jan 05
• [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.7.3.orig.tar.gz Jan 05
• [Git][ocaml-team/ocaml-speex] Pushed new tag upstream/0.4.1 Jan 10
• [Git][ocaml-team/liquidsoap][upstream] 3 commits: New upstream version 2.0.0 Jan 10
• [Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.5-1 Jan 05

Lucas Tabary-Maujean

• Bug#1004530: utop: Utop package has Emacs as a dependency Jan 29

Ralf Treinen

• Re: Bug#1003438: RM: why3 [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq Jan 11

Sebastian Ramacher

• Bug#1002930: coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi. Jan 01
• Bug#1004573: ocaml-ffmpeg: FTBFS with ffmpeg 5.0 Jan 30

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

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