debian-ocaml-maint
Thread
Date
Earlier messages
Messages by Thread
Processed: transition: ffmpeg
Debian Bug Tracking System
Bug#1072440: ocaml-ffmpeg: FTBFS with ffmpeg 7.0: swresample_stubs.c:249:10: error: ‘AVFrame’ has no member named ‘channel_layout’; did you mean ‘ch_layout’?
Sebastian Ramacher
Bug#1072432: liquidsoap: FTBFS with ffmpeg 7.0: (.text+0x4b60): undefined reference to `av_get_channel_name'
Sebastian Ramacher
Processing of opam_2.1.6-1_source.changes
Debian FTP Masters
[Git][ocaml-team/opam] Pushed new tag debian/2.1.6-1
Gianfranco Costamagna (@locutusofborg)
[Git][ocaml-team/opam][master] Update changelog, upload to sid
Gianfranco Costamagna (@locutusofborg)
opam_2.1.6-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/opam][pristine-tar] 4 commits: pristine-tar data for opam_2.1.6.orig.tar.gz
Gianfranco Costamagna (@locutusofborg)
Processing of dh-coq_0.9_source.changes
Debian FTP Masters
dh-coq_0.9_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1072308: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
Paul Gevers
Processed: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
Debian Bug Tracking System
omd_1.3.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
omd_1.3.2-1_amd64.changes REJECTED
Thorsten Alteholz
Re: Support for packaging an OCaml-based tool for Debian
Nik Sultana
Processing of omd_1.3.2-1_amd64.changes
Debian FTP Masters
Processing of omd_1.3.2-1_amd64.changes
Debian FTP Masters
omd_1.3.2-1_amd64.changes is NEW
Debian FTP Masters
omd_1.3.2-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-linenoise_1.5.1-2_source.changes
Debian FTP Masters
ocaml-linenoise_1.5.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1072019: approx: drop dependency on system-log-daemon
bluca
coq-serapi_8.19.0+0.19.3-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1071680: ocaml-linenoise FTBFS on bytecode architectures
Adrian Bunk
Bug#1071680: marked as done (ocaml-linenoise FTBFS on bytecode architectures)
Debian Bug Tracking System
[bts-link] source package ocaml
debian-bts-link
coq-serapi_8.19.0+0.19.3-2_amd64.changes is NEW
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-2_amd64.changes
Debian FTP Masters
Bug#1070920: coq: FTBFS in bullseye
Santiago Vila
Processed: coq: FTBFS in bullseye
Debian Bug Tracking System
coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED
Thorsten Alteholz
Processing of coq-corn_8.19.0+ds1-1_source.changes
Debian FTP Masters
coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1070787: coq-corn: produces empty binary
Gianfranco Costamagna
Bug#1070787: coq-corn: produces empty binary
julien . puydt
Bug#1070787: marked as done (coq-corn: produces empty binary)
Debian Bug Tracking System
[Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 2.2.5
Kyle Robbertze (@paddatrapper)
Bug#1054109: ocaml: lack of LoongArch support
John Paul Adrian Glaubitz
Bug#1054109: ocaml: lack of LoongArch support
lixing
Bug#1054109: ocaml: lack of LoongArch support
Jiajie Chen
Bug#1054109: ocaml: lack of LoongArch support
Gianfranco Costamagna
Processed: Re: ocaml: lack of LoongArch support
Debian Bug Tracking System
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.5.orig.tar.gz
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.5
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.5
Kyle Robbertze (@paddatrapper)
bisect-ppx_2.8.3+dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-1_amd64.changes
Debian FTP Masters
coq-serapi_8.19.0+0.19.3-1_amd64.changes is NEW
Debian FTP Masters
coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-1_source.changes
Debian FTP Masters
coqeal_2.0.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-record-update_0.3.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_1.1.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-real-closed_2.0.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-multinomials_2.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_1.1.0-2_source.changes REJECTED
Debian FTP Masters
mathcomp-algebra-tactics_1.2.3-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-relation-algebra_1.7.10-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.0.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.0.3-2_source.changes REJECTED
Debian FTP Masters
mathcomp-zify_1.5.0+2.0+8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-finmap_2.1.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-bigenough_1.0.1-13_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-relation-algebra_1.7.10-3_source.changes REJECTED
Debian FTP Masters
coquelicot_3.4.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.2.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-deriving_0.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ssreflect_2.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-corn_8.19.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted approx 5.12-2.1 (source) into unstable
Debian FTP Masters
approx_5.12-2.1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-linenoise_1.5.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
coqprime_8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-simple-io_1.9.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-mtac2_1.4+8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-math-classes_8.19.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-iris_4.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hierarchy-builder_1.7.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-gappa_1.5.5-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-equations_1.3-8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
paramcoq_1.1.3+coq8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ott_0.33+ds-3_source.changes ACCEPTED into unstable
Debian FTP Masters
flocq_4.1.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unimath_20240331-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-menhirlib_20231231+ds-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-libhyps_2.0.8-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hott_8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hammer_1.3.2+8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-ext-lib_0.12.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-bignums_9.0.0+coq8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
aac-tactics_8.19.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-elpi_2.1.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-dpdgraph_1.0+8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Request for help to support LoongArch architecture in ocaml source
zhangdandan
Request for: support LoongArch architecture in ocaml source
zhangdandan
Re: Request for: support LoongArch architecture in ocaml source
Stéphane Glondu
coq-unicoq_1.6-8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-stdpp_1.10.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reduction-effects_0.1.5-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-interval_4.10.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-record-update_0.3.4-2_source.changes REJECTED
Debian FTP Masters
coq-extructures_0.4.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-analysis_1.1.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-analysis_1.1.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-multinomials_2.2.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-real-closed_2.0.0-2_source.changes
Debian FTP Masters
Processing of coqeal_2.0.2-1_source.changes
Debian FTP Masters
Processing of coqeal_2.0.2-1_source.changes
Debian FTP Masters
Processing of mathcomp-finmap_2.1.0-1_source.changes
Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.2.3-3_source.changes
Debian FTP Masters
Processing of coq-quickchick_2.0.3-2_source.changes
Debian FTP Masters
Processing of coq-quickchick_2.0.3-2_source.changes
Debian FTP Masters
Processing of mathcomp-zify_1.5.0+2.0+8.16-2_source.changes
Debian FTP Masters
Processing of coq-interval_4.10.0-1_source.changes
Debian FTP Masters
Processing of coq-extructures_0.4.0-3_source.changes
Debian FTP Masters
Processing of mathcomp-bigenough_1.0.1-13_source.changes
Debian FTP Masters
Processing of coquelicot_3.4.1-2_source.changes
Debian FTP Masters
Processing of ssreflect_2.2.0-1_source.changes
Debian FTP Masters
Processing of coq-deriving_0.2.0-2_source.changes
Debian FTP Masters
Processing of coq-iris_4.2.0-1_source.changes
Debian FTP Masters
Processing of coqprime_8.19-1_source.changes
Debian FTP Masters
Processing of coq-mtac2_1.4+8.19-1_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.10-3_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.10-3_source.changes
Debian FTP Masters
Processing of coq-simple-io_1.9.0-1_source.changes
Debian FTP Masters
Processing of coq-reglang_1.2.1-3_source.changes
Debian FTP Masters
Processing of coq-corn_8.19.0-1_source.changes
Debian FTP Masters
Processing of coq-math-classes_8.19.0-1_source.changes
Debian FTP Masters
Processing of coq-equations_1.3-8.19-1_source.changes
Debian FTP Masters
Processing of ott_0.33+ds-3_source.changes
Debian FTP Masters
Processing of coq-unimath_20240331-1_source.changes
Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.19-1_source.changes
Debian FTP Masters
Processing of coq-hierarchy-builder_1.7.0-1_source.changes
Debian FTP Masters
Processing of coq-gappa_1.5.5-1_source.changes
Debian FTP Masters
Processing of flocq_4.1.4-1_source.changes
Debian FTP Masters
Processing of coq-reduction-effects_0.1.5-4_source.changes
Debian FTP Masters
Processing of coq-stdpp_1.10.0-1_source.changes
Debian FTP Masters
Processing of coq-unicoq_1.6-8.19-1_source.changes
Debian FTP Masters
Processing of coq-record-update_0.3.4-2_source.changes
Debian FTP Masters
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
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
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)
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)
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
Earlier messages