debian-ocaml-maint Feb 2025 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[bts-link] source package src:why3
[Git][ocaml-team/belenios] Pushed new tag archive/debian/3.0+dfsg-2
[Git][ocaml-team/belenios] Pushed new tag debian/3.0+dfsg-2
[Git][ocaml-team/camlimages][master] Fix watch file
[Git][ocaml-team/coq] Pushed new tag debian/8.20.1+dfsg-1
[Git][ocaml-team/coq] Pushed new tag upstream/8.20.1+dfsg
[Git][ocaml-team/coq][master] 4 commits: New upstream version 8.20.1+dfsg
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.20.1+dfsg.orig.tar.xz
[Git][ocaml-team/coq][upstream] New upstream version 8.20.1+dfsg
[Git][ocaml-team/findlib][master] 6 commits: New upstream version 1.9.7
[Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.7.orig.tar.gz
[Git][ocaml-team/findlib][upstream] 2 commits: New upstream version 1.9.7
[Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.15-1
[Git][ocaml-team/labltk] Pushed new tag debian/8.06.15-1
[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.15
[Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.15.orig.tar.gz
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.3.1-1
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.3.1
[Git][ocaml-team/liquidsoap][master] 6 commits: New upstream version 2.3.1
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.3.1.orig.tar.gz
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.3.1
[Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-1
[Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-2
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-1
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-2
[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.16.0
[Git][ocaml-team/ocaml-atd][master] 3 commits: Refresh patches
[Git][ocaml-team/ocaml-atd][master] 5 commits: New upstream version 2.16.0
[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.16.0.orig.tar.bz2
[Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.16.0
[Git][ocaml-team/ocaml-benchmark] Pushed new tag archive/debian/1.7-1
[Git][ocaml-team/ocaml-benchmark] Pushed new tag debian/1.7-1
[Git][ocaml-team/ocaml-benchmark] Pushed new tag upstream/1.7
[Git][ocaml-team/ocaml-benchmark][pristine-tar] pristine-tar data for ocaml-benchmark_1.7.orig.tar.bz2
[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.17.2-1
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.17.2-1
[Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.17.2
[Git][ocaml-team/ocaml-dune][master] 4 commits: New upstream version 3.17.2
[Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.17.2.orig.tar.bz2
[Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.17.2
[Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0-1
[Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0-1
[Git][ocaml-team/ocaml-gettext] Pushed new tag upstream/0.5.0
[Git][ocaml-team/ocaml-gettext][master] 6 commits: New upstream version 0.5.0
[Git][ocaml-team/ocaml-gettext][pristine-tar] pristine-tar data for ocaml-gettext_0.5.0.orig.tar.gz
[Git][ocaml-team/ocaml-gettext][upstream] New upstream version 0.5.0
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag archive/debian/5.3.0-1
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag debian/5.3.0-1
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag upstream/5.3.0
[Git][ocaml-team/ocaml-sqlite3][pristine-tar] pristine-tar data for ocaml-sqlite3_5.3.0.orig.tar.bz2
[Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20250212-1
[Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20250212-1
[Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20250212
[Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20250212.orig.tar.xz
[Git][ocaml-team/tophide] Pushed new tag archive/debian/1.1.0-1
[Git][ocaml-team/tophide] Pushed new tag debian/1.1.0-1
[Git][ocaml-team/tophide] Pushed new tag upstream/1.1.0
[Git][ocaml-team/tophide][master] 4 commits: New upstream version 1.1.0
[Git][ocaml-team/tophide][pristine-tar] pristine-tar data for tophide_1.1.0.orig.tar.gz
[Git][ocaml-team/tophide][upstream] New upstream version 1.1.0
[Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.0-2
[Git][ocaml-team/why3] Pushed new tag debian/1.8.0-2
[Git][ocaml-team/why3][master] 6 commits: New upstream version 1.7.2
[Git][ocaml-team/why3][upstream] New upstream version 1.8.0
Accepted coq 8.20.1+dfsg-1 (source) into unstable
belenios_3.0+dfsg-2_source.changes ACCEPTED into unstable
ben_1.9_source.changes ACCEPTED into unstable
Bug#1037318: marked as done (ben: Quiet mode does not suppress read_global_config output)
Bug#1092570: marked as done (ocaml-luv: autopkgtests regression)
Bug#1092570: ocaml-luv: autopkgtests regression
Bug#1092688: marked as done (ocaml-taglib: FTBFS with taglib 2.0)
Bug#1093106: marked as done (ocaml-taglib: FTBFS with OCaml 5.3.0 (error in C stubs, not in testing))
Bug#1093111: marked as done (tophide: FTBFS with OCaml 5.3.0 (Format-related change))
Re: Bug#1093272: transition: ocaml
Bug#1093827: marked as done (why3 has an undeclared file conflict on /usr/lib/ocaml/why3)
Bug#1094695: Removed package(s) from unstable
Bug#1094983: ITP: ocaml-websocket -- WebSocket library
Bug#1095459: ITP: ocaml-zarith-stubs-js -- Javascript stubs for the Zarith library
Bug#1096144: ben tracker -g something -q isn't really quiet
Bug#1096144: marked as done (ben tracker -g something -q isn't really quiet)
Bug#1096244: belenios: FTBFS: Error: Library "atdgen" not found.
Bug#1096244: marked as done (belenios: FTBFS: Error: Library "atdgen" not found.)
Bug#1097303: liquidsoap: ftbfs with GCC-15
Bug#1097498: ocamlformat: ftbfs with GCC-15
Bug#1098050: utop: ftbfs with GCC-15
Bug#1098092: why3: ftbfs with GCC-15
Bug#1098580: marked as done (ocaml-flac: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit")
Bug#1098580: ocaml-flac: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit"
Bug#1098581: marked as done (ocaml-opus: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit")
Bug#1098581: ocaml-opus: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit"
Bug#1098582: marked as done (ocaml-speex: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit")
Bug#1098582: ocaml-speex: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit"
Bug#1098583: marked as done (ocaml-theora: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit")
Bug#1098583: ocaml-theora: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit"
Bug#1098584: marked as done (ocaml-vorbis: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit")
Bug#1098584: ocaml-vorbis: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit"
Bug#1098655: Removed package(s) from unstable
Bug#1098655: RM: ocaml-flac -- RoQA; superseded by ocaml-xiph
Bug#1098656: Removed package(s) from unstable
Bug#1098656: RM: ocaml-ogg -- RoQA; superseded by ocaml-xiph
Bug#1098657: Removed package(s) from unstable
Bug#1098657: RM: ocaml-opus --RoQA; supserseded by ocaml-xiph
Bug#1098658: Removed package(s) from unstable
Bug#1098658: RM: ocaml-speex -- RoQA; superseded by ocaml-xiph
Bug#1098659: Removed package(s) from unstable
Bug#1098659: RM: ocaml-theora -- RoQA; superseded by ocaml-xiph
Bug#1098660: Removed package(s) from unstable
Bug#1098660: RM: ocaml-vorbis -- RoQA; superseded by ocaml-xiph
Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml
Bug#1098924: marked as done (crowbar: Please consider renaming source package to libcrowbar-ocaml)
Bug#1098934: ITP: ocaml-mirage-ptime -- libraries and module types for portable clocks
coq 8.20.1+dfsg-1 MIGRATED to testing
eliom is marked for autoremoval from testing
elpi_2.0.5-2_source.changes ACCEPTED into unstable
failed amd64 build of ocaml-vorbis 0.8.0-5
failed arm64 build of ocaml-vorbis 0.8.0-5
failed armel build of ocaml-vorbis 0.8.0-5
failed armhf build of ocaml-vorbis 0.8.0-5
failed i386 build of ocaml-vorbis 0.8.0-5
failed ppc64el build of ocaml-vorbis 0.8.0-5
failed s390x build of ocaml-vorbis 0.8.0-5
findlib_1.9.8-1_source.changes ACCEPTED into unstable
labltk_8.06.15-1_source.changes ACCEPTED into unstable
liquidsoap_2.3.1-1_source.changes ACCEPTED into unstable
Migration of findlib blocked because of autopkgtest regression?
ocaml-atd_2.16.0-1_source.changes ACCEPTED into unstable
ocaml-atd_2.16.0-2_source.changes ACCEPTED into unstable
ocaml-benchmark_1.7-1_source.changes ACCEPTED into unstable
ocaml-crowbar_0.2.1-7_amd64.changes ACCEPTED into unstable
ocaml-crowbar_0.2.1-7_amd64.changes is NEW
ocaml-crunch_4.0.0-1_source.changes ACCEPTED into unstable
ocaml-domain-name_0.4.1-1_source.changes ACCEPTED into unstable
ocaml-dune_3.17.2-1_source.changes ACCEPTED into unstable
ocaml-ffmpeg_1.2.2-1_source.changes ACCEPTED into unstable
ocaml-gettext_0.5.0-1_source.changes ACCEPTED into unstable
ocaml-iter_1.9-1_source.changes ACCEPTED into unstable
ocaml-luv_0.5.14-2_source.changes ACCEPTED into unstable
ocaml-mem-usage_0.1.2-1_source.changes ACCEPTED into unstable
ocaml-mirage-crypto_2.0.0-1_source.changes ACCEPTED into unstable
ocaml-mirage-kv-mem_4.0.0-1_source.changes ACCEPTED into unstable
ocaml-mirage-ptime_5.0.0-1_amd64.changes ACCEPTED into unstable
ocaml-mirage-ptime_5.0.0-1_amd64.changes is NEW
ocaml-mirage-ptime_5.0.0-2_source.changes ACCEPTED into unstable
ocaml-multicoretests_0.7-1_source.changes ACCEPTED into unstable
ocaml-ptmap_2.0.5-5_source.changes ACCEPTED into unstable
ocaml-spdx-licenses_1.3.0-1_source.changes ACCEPTED into unstable
ocaml-sqlite3_5.3.0-1_source.changes ACCEPTED into unstable
ocaml-visitors_20250212-1_source.changes ACCEPTED into unstable
ocaml-vorbis REMOVED from testing
ocaml-websocket_2.17-1_amd64.changes ACCEPTED into unstable
ocaml-websocket_2.17-1_amd64.changes is NEW
ocaml-websocket_2.17-1_amd64.changes REJECTED
ocaml-xiph_1.0.0-1_amd64.changes ACCEPTED into unstable
ocaml-xiph_1.0.0-1_amd64.changes is NEW
ocaml-zarith-stubs-js_0.17.0-1_amd64.changes ACCEPTED into unstable
ocaml-zarith-stubs-js_0.17.0-1_amd64.changes is NEW
pcre2-ocaml_8.0.3-1_source.changes ACCEPTED into unstable
ppx-yojson-conv_0.17.0-3_source.changes ACCEPTED into unstable
ppxlib_0.35.0-1_source.changes ACCEPTED into unstable
Processed: (No Subject)
Processed: bug 1098092 is forwarded to https://gitlab.inria.fr/why3/why3/-/issues/901
Processed: Bug#1093827 marked as pending in why3
Processed: Bug#1096244 marked as pending in belenios
Processed: Re: Bug#1096144: Acknowledgement (ben tracker -g something -q isn't really quiet)
Processed: Re: Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml
Processing of belenios_3.0+dfsg-2_source.changes
Processing of ben_1.9_source.changes
Processing of elpi_2.0.5-2_source.changes
Processing of findlib_1.9.8-1_source.changes
Processing of labltk_8.06.15-1_source.changes
Processing of liquidsoap_2.3.1-1_source.changes
Processing of ocaml-atd_2.16.0-1_source.changes
Processing of ocaml-atd_2.16.0-2_source.changes
Processing of ocaml-benchmark_1.7-1_source.changes
Processing of ocaml-crowbar_0.2.1-7_amd64.changes
Processing of ocaml-crunch_4.0.0-1_source.changes
Processing of ocaml-domain-name_0.4.1-1_source.changes
Processing of ocaml-dune_3.17.2-1_source.changes
Processing of ocaml-ffmpeg_1.2.2-1_source.changes
Processing of ocaml-gettext_0.5.0-1_source.changes
Processing of ocaml-iter_1.9-1_source.changes
Processing of ocaml-luv_0.5.14-2_source.changes
Processing of ocaml-mem-usage_0.1.2-1_source.changes
Processing of ocaml-mirage-crypto_2.0.0-1_source.changes
Processing of ocaml-mirage-kv-mem_4.0.0-1_source.changes
Processing of ocaml-mirage-ptime_5.0.0-1_amd64.changes
Processing of ocaml-mirage-ptime_5.0.0-2_source.changes
Processing of ocaml-multicoretests_0.7-1_source.changes
Processing of ocaml-ptmap_2.0.5-5_source.changes
Processing of ocaml-spdx-licenses_1.3.0-1_source.changes
Processing of ocaml-sqlite3_5.3.0-1_source.changes
Processing of ocaml-visitors_20250212-1_source.changes
Processing of ocaml-websocket_2.17-1_amd64.changes
Processing of ocaml-xiph_1.0.0-1_amd64.changes
Processing of ocaml-zarith-stubs-js_0.17.0-1_amd64.changes
Processing of pcre2-ocaml_8.0.3-1_source.changes
Processing of ppx-yojson-conv_0.17.0-3_source.changes
Processing of ppxlib_0.35.0-1_source.changes
Processing of tophide_1.1.0-1_source.changes
Processing of why3_1.8.0-2_source.changes
Request to Join Team
tophide_1.1.0-1_source.changes ACCEPTED into unstable
Trouble with ocaml-dune and magic variables
Upstreams with "official" tarballs differing from their git
why3_1.8.0-2_source.changes ACCEPTED into unstable
The last update was on 21:20 GMT Fri Feb 28. There are 245 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc