debian-ocaml-maint  

Messages by Thread

• [Git][ocaml-team/opam] Pushed new tag debian/2.4.1-1 @glondu
• [Git][ocaml-team/opam][master] Prepare upload to unstable @glondu
• Bug#1111841: RM: coq-serapi -- ROM; dead upstream Julien Puydt
• Bug#1111824: ITP: rocq-stdlib -- Rocq's Standard library Julien Puydt
• ocaml-patch_3.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/coq] Deleted tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag upstream/9.0.0+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.0.0+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• [Git][ocaml-team/opam] Pushed new tag upstream/2.4.1 @glondu
• Processing of ocaml-patch_3.0.0-1_amd64.changes Debian FTP Masters
• ocaml-patch_3.0.0-1_amd64.changes is NEW Debian FTP Masters
• [Git][ocaml-team/opam][upstream] 2 commits: New upstream version 2.4.0 @glondu
• [Git][ocaml-team/opam][pristine-tar] 2 commits: pristine-tar data for opam_2.4.0.orig.tar.gz @glondu
• [Git][ocaml-team/opam][master] 5 commits: New upstream version 2.4.0 @glondu
• [Git][ocaml-team/opam] Pushed new tag upstream/2.4.0 @glondu
• Bug#1111688: ITP: ocaml-patch -- patch library purely in OCaml Stéphane Glondu
• Processing of ben_1.10_source.changes Debian FTP Masters
• ben_1.10_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-bitstring_5.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-bitstring_5.0.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.0-1 @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.0 @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.0-1 @glondu
• [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.0.orig.tar.gz @glondu
• Bug#1111534: ocaml-doc: Documentation is outdated Christopher Zimmermann
• Bug#1111499: opam fails to build with C23 due to illegal usage of Primitive macro in prims.h - new version available upstream Tim Andersson
  • Bug#1111499: opam fails to build with C23 due to illegal usage of Primitive macro in prims.h - new version available upstream Stéphane Glondu
• Processed: tagging 1105720 Debian Bug Tracking System
• Processed: tagging 1105680 Debian Bug Tracking System
• Processed: tagging 1105650 Debian Bug Tracking System
• Processed: tagging 1105653 Debian Bug Tracking System
• Processed: tagging 1105598 Debian Bug Tracking System
• Processed: tagging 1105591 Debian Bug Tracking System
• Processed: tagging 1105552 Debian Bug Tracking System
• Processed: tagging 1105509 Debian Bug Tracking System
• Processed: tagging 1105496 Debian Bug Tracking System
• Processed: tagging 1105461 Debian Bug Tracking System
• Processed: tagging 1105466 Debian Bug Tracking System
• Processed: tagging 1105429 Debian Bug Tracking System
• Processed: tagging 1105427 Debian Bug Tracking System
• Processed: tagging 1105404 Debian Bug Tracking System
• Processed: tagging 1105397 Debian Bug Tracking System
• Processed: tagging 1105390 Debian Bug Tracking System
• Processed: tagging 1105277 Debian Bug Tracking System
• Processed: tagging 1105268 Debian Bug Tracking System
• Processed: tagging 1105269 Debian Bug Tracking System
• Processed: tagging 1105256 Debian Bug Tracking System
• Processed: tagging 1105252 Debian Bug Tracking System
• Processed: tagging 1105250 Debian Bug Tracking System
• Processed: tagging 1105230 Debian Bug Tracking System
• Processed: tagging 1098050 Debian Bug Tracking System
• Processed: tagging 1097498 Debian Bug Tracking System
• Processed: tagging 1097303 Debian Bug Tracking System
• Processed: tagging 1046343 Debian Bug Tracking System
• Processed: tagging 1079432 Debian Bug Tracking System
• Processed: tagging 1079430 Debian Bug Tracking System
• Processed: tagging 1079431 Debian Bug Tracking System
• Processed: tagging 1079429 Debian Bug Tracking System
• Processed: tagging 1079417 Debian Bug Tracking System
• Processed: tagging 1049764 Debian Bug Tracking System
• Processed: tagging 1049724 Debian Bug Tracking System
• Processed: tagging 1046386 Debian Bug Tracking System
• Processed: tagging 1046577 Debian Bug Tracking System
• Processed: tagging 1049623 Debian Bug Tracking System
• Processed: tagging 1049555 Debian Bug Tracking System
• Processed: tagging 1049478 Debian Bug Tracking System
• Processed: tagging 1049468 Debian Bug Tracking System
• Processed: tagging 1049221 Debian Bug Tracking System
• Processed: tagging 1049101 Debian Bug Tracking System
• Processed: tagging 1048934 Debian Bug Tracking System
• Processed: tagging 1048676 Debian Bug Tracking System
• Processed: tagging 1048660 Debian Bug Tracking System
• Processed: tagging 1048637 Debian Bug Tracking System
• Processed: tagging 1048459 Debian Bug Tracking System
• Processed: tagging 1048367 Debian Bug Tracking System
• Processed: tagging 1048312 Debian Bug Tracking System
• Processed: tagging 1048216 Debian Bug Tracking System
• Processed: tagging 1048153 Debian Bug Tracking System
• Processed: tagging 1048057 Debian Bug Tracking System
• Processed: tagging 1048025 Debian Bug Tracking System
• Processed: tagging 1047990 Debian Bug Tracking System
• Processed: tagging 1047964 Debian Bug Tracking System
• Processed: tagging 1047846 Debian Bug Tracking System
• Processed: tagging 1047779 Debian Bug Tracking System
• Processed: tagging 1047784 Debian Bug Tracking System
• Processed: tagging 1047645 Debian Bug Tracking System
• Processed: tagging 1047533 Debian Bug Tracking System
• Processed: tagging 1047520 Debian Bug Tracking System
• Processed: tagging 1047504 Debian Bug Tracking System
• Processed: tagging 1047447 Debian Bug Tracking System
• Processed: tagging 1047262 Debian Bug Tracking System
• Processed: tagging 1047042 Debian Bug Tracking System
• Processed: tagging 1047114 Debian Bug Tracking System
• Processed: tagging 1047051 Debian Bug Tracking System
• Processed: tagging 1047036 Debian Bug Tracking System
• Processed: tagging 1046963 Debian Bug Tracking System
• Processed: tagging 1046812 Debian Bug Tracking System
• Processed: tagging 1046640 Debian Bug Tracking System
• Processed: tagging 1046478 Debian Bug Tracking System
• Processed: tagging 1046357 Debian Bug Tracking System
• Processed: tagging 1046275 Debian Bug Tracking System
• Processed: tagging 1046087 Debian Bug Tracking System
• Processed: tagging 1046002 Debian Bug Tracking System
• Processed: tagging 1045879 Debian Bug Tracking System
• Processed: tagging 1045855 Debian Bug Tracking System
• Processed: tagging 1045816 Debian Bug Tracking System
• Processed: tagging 1045474 Debian Bug Tracking System
• Processed: tagging 1045427 Debian Bug Tracking System
• Processed: tagging 1045378 Debian Bug Tracking System
• Processed: tagging 1045166 Debian Bug Tracking System
• Processed: tagging 1044896 Debian Bug Tracking System
• Processed: tagging 1044744 Debian Bug Tracking System
• Processed: tagging 1044622 Debian Bug Tracking System
• Processed: tagging 1044568 Debian Bug Tracking System
• Processed: tagging 1044539 Debian Bug Tracking System
• Processed: tagging 1044354 Debian Bug Tracking System
• Processed: tagging 1044102 Debian Bug Tracking System
• Processed: tagging 1044017 Debian Bug Tracking System
• Processed: tagging 1043867 Debian Bug Tracking System
• Processed: tagging 1043823 Debian Bug Tracking System
• Processed: tagging 1043761 Debian Bug Tracking System
• Processed: tagging 1043672 Debian Bug Tracking System
• Processed: tagging 1043637 Debian Bug Tracking System
• Processed: tagging 1015560 Debian Bug Tracking System
• Processed: tagging 769272 Debian Bug Tracking System
• Processed: tagging 527397 Debian Bug Tracking System
• Bug#1110934: Removed package(s) from unstable Paul Tagliamonte
• Processed: affects 1111281 Debian Bug Tracking System
• Bug#1111281: stopped shipping nums.cmxa Pierre Gruet
  • Processed: Re: Bug#1111281: stopped shipping nums.cmxa Debian Bug Tracking System
  • Bug#1111281: stopped shipping nums.cmxa Stéphane Glondu
• ocaml-ca-certs_1.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ca-certs_1.0.1-1_source.changes Debian FTP Masters
• Bug#1111210: Removed package(s) from unstable Debian FTP Masters
  • Bug#1111210: Removed package(s) from unstable Debian FTP Masters
  • Bug#1047026: marked as done (ocaml-reins: Fails to build source after successful build) Debian Bug Tracking System
• Processing of ocaml-x509_1.0.6-1_source.changes Debian FTP Masters
• ocaml-x509_1.0.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of utop_2.16.0-1_source.changes Debian FTP Masters
• utop_2.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/utop] Pushed new tag upstream/2.16.0 @glondu
• [Git][ocaml-team/utop] Pushed new tag debian/2.16.0-1 @glondu
• [Git][ocaml-team/utop] Pushed new tag archive/debian/2.16.0-1 @glondu
• [Git][ocaml-team/utop][pristine-tar] pristine-tar data for utop_2.16.0.orig.tar.bz2 @glondu
• Processing of ocaml-mirage-crypto_2.0.1-1_source.changes Debian FTP Masters
• ocaml-mirage-crypto_2.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-digestif_1.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-digestif_1.3.0-1_source.changes Debian FTP Masters
• Processing of ocaml-containers_3.16+dfsg-1_source.changes Debian FTP Masters
• Processing of ocamlgraph_2.2.0-1_source.changes Debian FTP Masters
• ocamlgraph_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-ipaddr_5.6.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-containers_3.16+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ipaddr_5.6.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocamlgraph] Pushed new tag upstream/2.2.0 @glondu
• [Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.2.0-1 @glondu
• [Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.2.0-1 @glondu
• [Git][ocaml-team/ocamlgraph][upstream] New upstream version 2.2.0 @glondu
• [Git][ocaml-team/ocamlgraph][master] 4 commits: New upstream version 2.2.0 @glondu
• [Git][ocaml-team/ocamlgraph][pristine-tar] pristine-tar data for ocamlgraph_2.2.0.orig.tar.bz2 @glondu
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag upstream/5.6.1 @glondu
• [Git][ocaml-team/ocaml-ipaddr][upstream] New upstream version 5.6.1 @glondu
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag debian/5.6.1-1 @glondu
• [Git][ocaml-team/ocaml-ipaddr] Pushed new tag archive/debian/5.6.1-1 @glondu
• [Git][ocaml-team/ocaml-ipaddr][master] 4 commits: New upstream version 5.6.1 @glondu
• [Git][ocaml-team/ocaml-ipaddr][pristine-tar] pristine-tar data for ocaml-ipaddr_5.6.1.orig.tar.gz @glondu
• Bug#1111210: RM: ocaml-reins -- ROM; FTBFS; dead upstream; leaf package Stéphane Glondu
• Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Bas Couwenberg
  • Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Sebastiaan Couwenberg
  • Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Stéphane Glondu
  • Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Sebastiaan Couwenberg
  • Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Stéphane Glondu
  • Bug#1111165: marked as done (ben: Building template fails: Error: Unbound module "Ben_frontends") Debian Bug Tracking System
  • Bug#1111165: marked as done (ben: Building template fails: Error: Unbound module "Ben_frontends") Debian Bug Tracking System
• Processing of ocaml-multicoretests_0.9-1_source.changes Debian FTP Masters
• Processing of ocaml-version_4.0.1-1_source.changes Debian FTP Masters
• Processing of ocaml-lwt-dllist_1.1.0-1_source.changes Debian FTP Masters
• ocaml-version_4.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-multicoretests_0.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-lwt-dllist_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-graphics_5.2.0-2_source.changes Debian FTP Masters
• Processing of ocaml-spdx-licenses_1.4.0-1_source.changes Debian FTP Masters
• ocaml-spdx-licenses_1.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-graphics_5.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-sedlex_3.6-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-sedlex][pristine-tar] 2 commits: pristine-tar data for ocaml-sedlex_3.5.orig.tar.gz @glondu
• Processing of ocaml-fmt_0.11.0-1_source.changes Debian FTP Masters
• ocaml-sedlex_3.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-fmt_0.11.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-topkg_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-logs_0.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-logs_0.9.0-1_source.changes Debian FTP Masters
• Processing of ocaml-topkg_1.1.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.1.0 @glondu
• [Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.1.0-1 @glondu
• [Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.1.0-1 @glondu
• [Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.1.0.orig.tar.bz2 @glondu
• janest-base_0.17.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of janest-base_0.17.3-1_source.changes Debian FTP Masters

• Earlier messages
• Later messages