debian-ocaml-maint
Thread
Date
Earlier messages
Messages by Thread
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
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 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-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
[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
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
Earlier messages