debian-ocaml-maint Dec 2024 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Processing of mathcomp-zify_1.5.0+2.0+8.16-4_source.changes Debian FTP Masters
[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.0.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.0.0-1 Stéphane Glondu (@glondu)
Processing of hol-light_3.0.0-1_source.changes Debian FTP Masters
hol-light_3.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-zify_1.5.0+2.0+8.16-4_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073882: marked as done (FTBFS with OCaml 5.2.0 (Needs porting)) Debian Bug Tracking System
Bug#1059090: marked as done (elpi: add build support for loongarch64) Debian Bug Tracking System
coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/hol-light][master] Remove libcoq-bignums on B-D. vimerbf (@vimerbf-guest)
[Git][ocaml-team/hol-light][master] Team upload it vimerbf (@vimerbf-guest)
hol-light_3.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of hol-light_3.0.0-2_source.changes Debian FTP Masters
[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.0.0-2 vimerbf (@vimerbf-guest)
[bts-link] source package src:pcre-ocaml debian-bts-link

Processed: [bts-link] source package src:pcre-ocaml Debian Bug Tracking System

Bug#1090727: transition: elpi Julien Puydt
[Git][ocaml-team/ssreflect][upstream] New upstream version 2.3.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][master] 5 commits: New upstream version 2.3.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.3.0.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag debian/2.3.0-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.3.0 Julien Puydt (@jpuydt)
Bug#1091105: nss-passwords fails to decrypt Marco d'Itri

Bug#1091105: nss-passwords fails to decrypt Stéphane Glondu

Bug#1091105: nss-passwords fails to decrypt Marco d'Itri

Bug#1091105: nss-passwords fails to decrypt Stéphane Glondu

Processed: Bug#1091105 marked as pending in nss-passwords Debian Bug Tracking System
Processed: Re: Bug#1091105: nss-passwords fails to decrypt Debian Bug Tracking System
Bug#1091105: marked as done (nss-passwords fails to decrypt) Debian Bug Tracking System

Bug#1091363: ocaml: ocamlopt disabled on armhf, i386, mipsel. Is this intentional? Tobias Frost

Bug#1091363: ocaml: ocamlopt disabled on armhf, i386, mipsel. Is this intentional? Stéphane Glondu

Bug#1091458: transition: coq-ext-lib Julien Puydt
[Git][ocaml-team/coq-doc][master] 5 commits: New upstream version 8.20.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.20.0.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.20.0-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.20.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.20.0 Julien Puydt (@jpuydt)
ocaml-lo is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-dssi is marked for autoremoval from testing Debian testing autoremoval watch
Bug#1091552: ITP: ocaml-octavius -- ocamldoc comment syntax parser Stéphane Glondu
ocaml-octavius_1.2.2-1_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-octavius_1.2.2-1_amd64.changes Debian FTP Masters
Bug#1091644: ITP: ppx-js-style -- code style checker for Jane Street packages Stéphane Glondu
Bug#1091647: ITP: ppx-yojson-conv-lib -- runtime lib for ppx_yojson_conv Stéphane Glondu
Bug#1091648: ITP: ppx-yojson-conv -- [@@deriving] plugin to generate Yojson conversion functions Stéphane Glondu
ppx-yojson-conv-lib_0.17.0-1_amd64.changes is NEW Debian FTP Masters
Processing of ppx-yojson-conv-lib_0.17.0-1_amd64.changes Debian FTP Masters
nss-passwords_0.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/nss-passwords][pristine-tar] pristine-tar data for nss-passwords_0.5.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/nss-passwords] Pushed new tag archive/debian/0.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/nss-passwords] Pushed new tag debian/0.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/nss-passwords] Pushed new tag upstream/0.5 Stéphane Glondu (@glondu)
Processing of nss-passwords_0.5-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-dune][pristine-tar] 3 commits: pristine-tar data for ocaml-dune_3.16.1.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune][master] 6 commits: New upstream version 3.16.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune][upstream] 3 commits: New upstream version 3.16.1 Stéphane Glondu (@glondu)
Processing of ocaml-dune_3.17.1-1_source.changes Debian FTP Masters
[Git][ocaml-team/omake] Pushed new tag archive/debian/0.10.7-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/omake] Pushed new tag debian/0.10.7-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/omake][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/omake][pristine-tar] pristine-tar data for omake_0.10.7.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/omake] Pushed new tag upstream/0.10.7 Stéphane Glondu (@glondu)
[Git][ocaml-team/omake][upstream] New upstream version 0.10.7 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf][pristine-tar] 2 commits: pristine-tar data for camlpdf_2.7.2.orig.tar.gz Stéphane Glondu (@glondu)
Processing of omake_0.10.7-1_source.changes Debian FTP Masters
Processing of camlpdf_2.8-1_source.changes Debian FTP Masters
camlzip_1.13-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/camlzip][pristine-tar] pristine-tar data for camlzip_1.13.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag archive/debian/1.13-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag debian/1.13-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag upstream/1.13 Stéphane Glondu (@glondu)
Processing of camlzip_1.13-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-res][pristine-tar] pristine-tar data for ocaml-res_5.0.2.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-res] Pushed new tag archive/debian/5.0.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-res] Pushed new tag debian/5.0.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-res] Pushed new tag upstream/5.0.2 Stéphane Glondu (@glondu)
Processing of ocaml-res_5.0.2-1_source.changes Debian FTP Masters
ocaml-res_5.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
camlpdf_2.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-dune_3.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
omake_0.10.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocamlgsl_1.25.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlgsl_1.25.1-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocamlgsl][master] 4 commits: New upstream version 1.25.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgsl][pristine-tar] pristine-tar data for ocamlgsl_1.25.1.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgsl][upstream] New upstream version 1.25.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgsl] Pushed new tag archive/debian/1.25.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgsl] Pushed new tag debian/1.25.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgsl] Pushed new tag upstream/1.25.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/postgresql-ocaml][master] 9 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/postgresql-ocaml][pristine-tar] 4 commits: pristine-tar data for postgresql-ocaml_5.1.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/postgresql-ocaml][upstream] 4 commits: New upstream version 5.1.0 Stéphane Glondu (@glondu)
cppo_1.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
postgresql-ocaml_5.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/cppo][pristine-tar] pristine-tar data for cppo_1.8.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/cppo] Pushed new tag archive/debian/1.8.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/cppo] Pushed new tag upstream/1.8.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/cppo] Pushed new tag debian/1.8.0-1 Stéphane Glondu (@glondu)
Processing of postgresql-ocaml_5.1.3-1_source.changes Debian FTP Masters
Processing of cppo_1.8.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-flac] Pushed new tag debian/0.5.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-flac] Pushed new tag archive/debian/0.5.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-flac][pristine-tar] pristine-tar data for ocaml-flac_0.5.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-flac] Pushed new tag upstream/0.5.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-theora] Pushed new tag debian/0.4.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-theora] Pushed new tag archive/debian/0.4.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-theora][pristine-tar] pristine-tar data for ocaml-theora_0.4.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-theora] Pushed new tag upstream/0.4.1 Stéphane Glondu (@glondu)
Processing of ocaml-cairo2_0.6.5-1_source.changes Debian FTP Masters
Processing of ocaml-flac_0.5.1-1_source.changes Debian FTP Masters
Processing of ocaml-theora_0.4.1-1_source.changes Debian FTP Masters
Processing of pcre2-ocaml_8.0.2-1_source.changes Debian FTP Masters
ocaml-cairo2_0.6.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-flac_0.5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-theora_0.4.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
pcre2-ocaml_8.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-octavius_1.2.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ppx-yojson-conv-lib_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-octavius_1.2.2-2_source.changes Debian FTP Masters
Processing of ppx-yojson-conv-lib_0.17.0-2_source.changes Debian FTP Masters
Processing of ppx-js-style_0.17.0-1_amd64.changes Debian FTP Masters
ocaml-octavius_1.2.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-js-style_0.17.0-1_amd64.changes is NEW Debian FTP Masters
ppx-yojson-conv-lib_0.17.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/typerep][pristine-tar] pristine-tar data for typerep_0.17.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag archive/debian/1%0.17.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag debian/1%0.17.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag upstream/0.17.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-mm] Pushed new tag archive/debian/0.8.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.8.6.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.8.6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.3.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.3-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.3-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.3 Stéphane Glondu (@glondu)
ocaml-extunix_0.4.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mm_0.8.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
typerep_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of typerep_0.17.1-1_source.changes Debian FTP Masters
Processing of ocaml-mm_0.8.6-1_source.changes Debian FTP Masters
Processing of ocaml-extunix_0.4.3-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-sedlex][master] 5 commits: New upstream version 3.3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sedlex][pristine-tar] pristine-tar data for ocaml-sedlex_3.3.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sedlex][upstream] New upstream version 3.3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/3.3-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/3.3-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sedlex] Pushed new tag upstream/3.3 Stéphane Glondu (@glondu)
ocaml-sedlex_3.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-sedlex_3.3-1_source.changes Debian FTP Masters
[Git][ocaml-team/lwt][master] 6 commits: New upstream version 5.8.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/lwt][pristine-tar] 2 commits: pristine-tar data for lwt_5.8.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/lwt][upstream] 2 commits: New upstream version 5.8.0 Stéphane Glondu (@glondu)
Processing of ocaml-odoc_2.4.4-1_source.changes Debian FTP Masters
[Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.9.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.9.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.9.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.9.1 Stéphane Glondu (@glondu)
Processing of ocaml-version_3.7.2-1_source.changes Debian FTP Masters
Processing of lwt_5.9.0-1_source.changes Debian FTP Masters
Processing of ppx-deriving-yojson_3.9.1-1_source.changes Debian FTP Masters
Processing of camlp5-buildscripts_0.04-1_source.changes Debian FTP Masters
Processing of ocaml-mdx_2.5.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/utop][pristine-tar] pristine-tar data for utop_2.15.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/utop] Pushed new tag upstream/2.15.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/utop] Pushed new tag debian/2.15.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/utop] Pushed new tag archive/debian/2.15.0-1 Stéphane Glondu (@glondu)
Processing of ocamlformat_0.27.0-1_source.changes Debian FTP Masters
camlp5-buildscripts_0.04-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of utop_2.15.0-1_source.changes Debian FTP Masters
Processing of ocaml-x509_1.0.5-1_source.changes Debian FTP Masters
lwt_5.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mdx_2.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-odoc_2.4.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-version_3.7.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-x509_1.0.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocamlformat_0.27.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-deriving-yojson_3.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
utop_2.15.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/js-of-ocaml][master] 6 commits: New upstream version 5.9.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml][pristine-tar] 2 commits: pristine-tar data for js-of-ocaml_5.9.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml][upstream] 2 commits: New upstream version 5.9.0 Stéphane Glondu (@glondu)
Processing of js-of-ocaml_5.9.1-1_source.changes Debian FTP Masters
js-of-ocaml_5.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters

The last update was on 19:40 GMT Tue Dec 31. There are 184 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc