debian-ocaml-maint  

Messages by Thread

• • Processing of coq-record-update_0.3.4-2_source.changes Debian FTP Masters
• Processing of coq-libhyps_2.0.8-3_source.changes Debian FTP Masters
• Processing of coq-menhirlib_20231231+ds-3_source.changes Debian FTP Masters
• Processing of coq-hott_8.19-1_source.changes Debian FTP Masters
• Processing of coq-elpi_2.1.0-1_source.changes Debian FTP Masters
• Processing of elpi_1.18.2-1_source.changes Debian FTP Masters
• Processing of coq-ext-lib_0.12.1-1_source.changes Debian FTP Masters
• Processing of coq-hammer_1.3.2+8.19-1_source.changes Debian FTP Masters
• Processing of coq-bignums_9.0.0+coq8.19-1_source.changes Debian FTP Masters
• Processing of aac-tactics_8.19.0-1_source.changes Debian FTP Masters
• Processing of coq-dpdgraph_1.0+8.19-1_source.changes Debian FTP Masters
• Processing of coq-doc_8.19.1-1_source.changes Debian FTP Masters
• Processing of coq_8.19.1+dfsg-1_source.changes Debian FTP Masters
• elpi_1.18.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• coq-doc_8.19.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Accepted coq 8.19.1+dfsg-1 (source) into unstable Debian FTP Masters
• coq_8.19.1+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [bts-link] source package src:liquidsoap debian-bts-link
  • [bts-link] source package src:liquidsoap debian-bts-link
• ocaml-linenoise_1.5.1-1_amd64.changes is NEW Debian FTP Masters
• Processing of ocaml-linenoise_1.5.1-1_amd64.changes Debian FTP Masters
• Bug#884713: approx: systemd's approx.socket should be configured to not have any trigger limit Arnaud Rebillout
• Processing of approx_5.12-2.1_source.changes Debian FTP Masters
• Bug#1059178: approx: diff for NMU version 5.12-2.1 Chris Hofstaedtler
  • Processed: approx: diff for NMU version 5.12-2.1 Debian Bug Tracking System
• Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Vincent Lefevre
  • Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Vincent Lefevre
  • Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Vincent Lefevre
• Processing of bisect-ppx_2.8.3+dfsg-1_amd64.changes Debian FTP Masters
• bisect-ppx_2.8.3+dfsg-1_amd64.changes is NEW Debian FTP Masters
• Bug#1069049: unison-2.53: Update to 2.53.4 Amr Ibrahim
• [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.19.1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq-doc][upstream] New upstream version 8.19.1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.19.1-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.19.1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.19.1.orig.tar.gz Julien Puydt (@jpuydt)
• ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
• Processed: closing 1067267 Debian Bug Tracking System
• [Git][ocaml-team/dose3][master] update debian/watch Ralf Treinen (@treinen)
• Processed: tagging 1068709 Debian Bug Tracking System
• Bug#1068709: dose-extra: Typo in /usr/share/doc/dose-extra/README.architecture Wookey
• Processed: found 1060134 in 28-1, found 1060134 in 1:1.30.1-6, found 1068698 in 2:2.0-2 ..., tagging 1056608 ... Debian Bug Tracking System
• Processed: Apply commands Debian Bug Tracking System
• Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Bo YU
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Stéphane Glondu
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Bo YU
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Bo YU
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Stéphane Glondu
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Bo YU
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Stéphane Glondu
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Bo YU
  • Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Stéphane Glondu
• Bug#1068621: ITP: bisect-ppx -- Code coverage for OCaml and ReScript Bo YU
• [Git][ocaml-team/camlbz2] Pushed new tag upstream/0.8.0 Ralf Treinen (@treinen)
• [Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-1 Ralf Treinen (@treinen)
• Processing of camlbz2_0.8.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/camlbz2][pristine-tar] pristine-tar data for camlbz2_0.8.0.orig.tar.bz2 Ralf Treinen (@treinen)
• Bug#1043934: marked as done (camlbz2: Fails to build source after successful build) Debian Bug Tracking System
• camlbz2_0.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: tags 1054822 patch Debian Bug Tracking System
• RFS: opam Bo YU
• Processing of ocaml-metadata_0.3.0-1_source.changes Debian FTP Masters
• ocaml-metadata_0.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-lastfm_0.3.4-1_source.changes Debian FTP Masters
• ocaml-lastfm_0.3.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-ffmpeg_1.1.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-duppy_0.9.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-cry_1.0.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ffmpeg_1.1.11-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-lastfm][pristine-tar] pristine-tar data for ocaml-lastfm_0.3.4.orig.tar.gz Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-lastfm] Pushed new tag upstream/0.3.4 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-lastfm] Pushed new tag debian/0.3.4-1 Kyle Robbertze (@paddatrapper)
• Processing of ocaml-duppy_0.9.4-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-duppy][pristine-tar] pristine-tar data for ocaml-duppy_0.9.4.orig.tar.gz Kyle Robbertze (@paddatrapper)
• Processing of ocaml-cry_1.0.3-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-duppy] Pushed new tag upstream/0.9.4 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.4-1 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_1.0.3.orig.tar.gz Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-cry][master] 3 commits: New upstream version 1.0.3 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-cry][upstream] New upstream version 1.0.3 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-cry] Pushed new tag upstream/1.0.3 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-1 Kyle Robbertze (@paddatrapper)
• Bug#1067819: ITP: linksem -- Semantic model for aspects of ELF static linking and DWARF debug information Bo YU
• failed riscv64 build of coq 8.18.0+dfsg-1+b1 Debian buildds
• mlpcap is marked for autoremoval from testing Debian testing autoremoval watch
  • mlpcap is marked for autoremoval from testing Debian testing autoremoval watch
• liquidsoap_2.2.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of liquidsoap_2.2.4-1_source.changes Debian FTP Masters
• [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.4.orig.tar.gz Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/liquidsoap][master] 4 commits: New upstream version 2.2.4 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.4 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.4 Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.4-1 Kyle Robbertze (@paddatrapper)
• Bug#1067267: coq-deriving: FTBFS: unsatisfiable build-dependencies Lucas Nussbaum
• Processing of ocamlnet_4.1.9-5_source.changes Debian FTP Masters
• ocamlnet_4.1.9-5_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-5 @glondu
• [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-5 @glondu
• [Git][ocaml-team/ocamlnet][master] 2 commits: Fix netcgi loading in Apache (Closes: #1064086) @glondu
• ocaml-mm_0.8.5-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-mm_0.8.5-4_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-mm][master] 2 commits: Replace explicit dependencies with dh_ocaml Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.5-4 Kyle Robbertze (@paddatrapper)
• ocaml-mm_0.8.5-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-mm_0.8.5-3_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-mm][master] 2 commits: Drop extraneous dependency on gstreamer and ogg in dev package Kyle Robbertze (@paddatrapper)
• [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.5-3 Kyle Robbertze (@paddatrapper)
• Bug#1066654: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration] Lucas Nussbaum
  • Processed: Re: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration] Debian Bug Tracking System
  • Bug#1066654: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration] Steve Langasek
  • Processed: Bug#1066654 marked as pending in mlpcap Debian Bug Tracking System
  • Bug#1066654: marked as done (mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration]) Debian Bug Tracking System
• Bug#1054822: opam: FTBFS: sed: can't read opam.install: No such file or directory zhangdandan
  • Bug#1054822: opam: FTBFS: sed: can't read opam.install: No such file or directory Bo YU
• Processed: Debian Bug Tracking System
• Bug#1037277: James Addison
  • Bug#1037277: James Addison
• Bug#1066043: RFS: lem/2022-12-10+dfsg-1 [ITP] -- Tool merging math and logic for executable definitions (tool) Bo YU
• [Git][ocaml-team/coq] Pushed new tag upstream/8.19.1+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][upstream] New upstream version 8.19.1+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag debian/8.19.1+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][master] 4 commits: New upstream version 8.19.1+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.19.1+dfsg.orig.tar.bz2 Julien Puydt (@jpuydt)
• morsmall_0.3.0-7_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of morsmall_0.3.0-7_source.changes Debian FTP Masters
• Processed: fix ftbfs bug metadata Debian Bug Tracking System
• Bug#1065476: RFS: omd/1.3.2-1 [ITP] -- Markdown frontend in pure OCaml Bo YU
  • Re: RFS: omd/1.3.2-1 [ITP] -- Markdown frontend in pure OCaml Bo YU
• Bug#1065420: RFS: ocaml-linenoise/1.5-1 [ITP] -- Lightweight readline alternative with OCaml Bo YU
  • Re: RFS: ocaml-linenoise/1.5-1 [ITP] -- Lightweight readline alternative with OCaml Bo YU
• ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• crowbar is marked for autoremoval from testing Debian testing autoremoval watch
  • crowbar is marked for autoremoval from testing Debian testing autoremoval watch
  • crowbar is marked for autoremoval from testing Debian testing autoremoval watch
  • crowbar is marked for autoremoval from testing Debian testing autoremoval watch
  • crowbar is marked for autoremoval from testing Debian testing autoremoval watch
  • crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
• [Git][ocaml-team/why3][upstream] New upstream version 1.7.1 Ralf Treinen (@treinen)
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.1.orig.tar.gz Ralf Treinen (@treinen)
• [Git][ocaml-team/why3][master] 5 commits: fix typo in changelog entry Ralf Treinen (@treinen)
• Processed: limit source to why3, tagging 1046969 Debian Bug Tracking System
• [Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-1 Ralf Treinen (@treinen)
• [Git][ocaml-team/morbig] Pushed new tag upstream/0.11.0 Ralf Treinen (@treinen)
• [Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.11.0.orig.tar.xz Ralf Treinen (@treinen)
• [Git][ocaml-team/morbig][upstream] New upstream version 0.11.0 Ralf Treinen (@treinen)
• [Git][ocaml-team/morbig][master] 8 commits: New upstream version 0.11.0 Ralf Treinen (@treinen)
• Bug#1047349: marked as done (morbig: Fails to build source after successful build) Debian Bug Tracking System
• morbig_0.11.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of morbig_0.11.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/camlzip] Pushed new tag debian/1.11-3 Ralf Treinen (@treinen)
• [Git][ocaml-team/camlzip][master] 3 commits: patch meta-version-11 forwarded to upstream Ralf Treinen (@treinen)
• camlzip_1.11-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of camlzip_1.11-3_source.changes Debian FTP Masters
• camlzip_1.11-2_source.changes REJECTED Debian FTP Masters
• Processing of camlzip_1.11-2_source.changes Debian FTP Masters
• [Git][ocaml-team/planets] Pushed new tag upstream/0.1.14 Ralf Treinen (@treinen)
• [Git][ocaml-team/planets] Pushed new tag debian/0.1.13-22 Ralf Treinen (@treinen)
• Bug#1047502: marked as done (planets: Fails to build source after successful build) Debian Bug Tracking System
• Processing of planets_0.1.13-22_source.changes Debian FTP Masters
• planets_0.1.13-22_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/planets][master] 3 commits: fix typo in package description Ralf Treinen (@treinen)

• Earlier messages
• Later messages