debian-ocaml-maint Apr 2024 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
pxp is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-cpu is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-cpu is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-parany is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-parany is marked for autoremoval from testing
Debian testing autoremoval watch
ben is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlrss is marked for autoremoval from testing
Debian testing autoremoval watch
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-cry] Pushed new tag upstream/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][master] 3 commits: New upstream version 1.0.3
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-duppy] Pushed new tag debian/0.9.4-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-duppy] Pushed new tag upstream/0.9.4
Kyle Robbertze (@paddatrapper)
Processing of ocaml-cry_1.0.3-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-duppy_0.9.4-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-lastfm] Pushed new tag debian/0.3.4-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lastfm] Pushed new tag upstream/0.3.4
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lastfm][pristine-tar] pristine-tar data for ocaml-lastfm_0.3.4.orig.tar.gz
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ffmpeg_1.1.11-1_source.changes
Debian FTP Masters
ocaml-cry_1.0.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-duppy_0.9.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-lastfm_0.3.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-lastfm_0.3.4-1_source.changes
Debian FTP Masters
ocaml-metadata_0.3.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-metadata_0.3.0-1_source.changes
Debian FTP Masters
RFS: opam
Bo YU
Bug#1054822: opam: FTBFS: sed: can't read opam.install: No such file or directory
Bo YU
Processed: tags 1054822 patch
Debian Bug Tracking System
camlbz2_0.8.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1043934: marked as done (camlbz2: Fails to build source after successful build)
Debian Bug Tracking System
[Git][ocaml-team/camlbz2][pristine-tar] pristine-tar data for camlbz2_0.8.0.orig.tar.bz2
Ralf Treinen (@treinen)
Processing of camlbz2_0.8.0-1_source.changes
Debian FTP Masters
[Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-1
Ralf Treinen (@treinen)
[Git][ocaml-team/camlbz2] Pushed new tag upstream/0.8.0
Ralf Treinen (@treinen)
approx is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#1068621: ITP: bisect-ppx -- Code coverage for OCaml and ReScript
Bo YU
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
Processed: Apply commands
Debian Bug Tracking System
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
Bug#1068709: dose-extra: Typo in /usr/share/doc/dose-extra/README.architecture
Wookey
Processed: tagging 1068709
Debian Bug Tracking System
[Git][ocaml-team/dose3][master] update debian/watch
Ralf Treinen (@treinen)
Bug#1066654: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration]
Steve Langasek
Message not available
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
Processed: closing 1067267
Debian Bug Tracking System
mlpcap is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-lastfm is marked for autoremoval from testing
Debian testing autoremoval watch
[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.19.1.orig.tar.gz
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] Pushed new tag debian/8.19.1-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 upstream/8.19.1
Julien Puydt (@jpuydt)
Bug#1069049: unison-2.53: Update to 2.53.4
Amr Ibrahim
bisect-ppx_2.8.3+dfsg-1_amd64.changes is NEW
Debian FTP Masters
Processing of bisect-ppx_2.8.3+dfsg-1_amd64.changes
Debian FTP Masters
Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh
Vincent Lefevre
Bug#1059178: approx: diff for NMU version 5.12-2.1
Chris Hofstaedtler
Message not available
Processed: approx: diff for NMU version 5.12-2.1
Debian Bug Tracking System
Processing of approx_5.12-2.1_source.changes
Debian FTP Masters
Bug#884713: approx: systemd's approx.socket should be configured to not have any trigger limit
Arnaud Rebillout
Processing of ocaml-linenoise_1.5.1-1_amd64.changes
Debian FTP Masters
ocaml-linenoise_1.5.1-1_amd64.changes is NEW
Debian FTP Masters
[bts-link] source package src:liquidsoap
debian-bts-link
coq_8.19.1+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted coq 8.19.1+dfsg-1 (source) into unstable
Debian FTP Masters
coq-doc_8.19.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
elpi_1.18.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq_8.19.1+dfsg-1_source.changes
Debian FTP Masters
Processing of coq-doc_8.19.1-1_source.changes
Debian FTP Masters
Processing of coq-dpdgraph_1.0+8.19-1_source.changes
Debian FTP Masters
Processing of aac-tactics_8.19.0-1_source.changes
Debian FTP Masters
Processing of coq-bignums_9.0.0+coq8.19-1_source.changes
Debian FTP Masters
Processing of coq-hammer_1.3.2+8.19-1_source.changes
Debian FTP Masters
Processing of coq-ext-lib_0.12.1-1_source.changes
Debian FTP Masters
Processing of elpi_1.18.2-1_source.changes
Debian FTP Masters
Processing of coq-elpi_2.1.0-1_source.changes
Debian FTP Masters
Processing of coq-hott_8.19-1_source.changes
Debian FTP Masters
Processing of coq-menhirlib_20231231+ds-3_source.changes
Debian FTP Masters
Processing of coq-libhyps_2.0.8-3_source.changes
Debian FTP Masters
Processing of coq-record-update_0.3.4-2_source.changes
Debian FTP Masters
Processing of coq-unicoq_1.6-8.19-1_source.changes
Debian FTP Masters
Processing of coq-stdpp_1.10.0-1_source.changes
Debian FTP Masters
Processing of coq-reduction-effects_0.1.5-4_source.changes
Debian FTP Masters
Processing of flocq_4.1.4-1_source.changes
Debian FTP Masters
Processing of coq-gappa_1.5.5-1_source.changes
Debian FTP Masters
Processing of coq-hierarchy-builder_1.7.0-1_source.changes
Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.19-1_source.changes
Debian FTP Masters
Processing of coq-unimath_20240331-1_source.changes
Debian FTP Masters
Processing of ott_0.33+ds-3_source.changes
Debian FTP Masters
Processing of coq-equations_1.3-8.19-1_source.changes
Debian FTP Masters
Processing of coq-math-classes_8.19.0-1_source.changes
Debian FTP Masters
Processing of coq-corn_8.19.0-1_source.changes
Debian FTP Masters
Processing of coq-reglang_1.2.1-3_source.changes
Debian FTP Masters
Processing of coq-simple-io_1.9.0-1_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.10-3_source.changes
Debian FTP Masters
<Possible follow-ups>
Processing of coq-relation-algebra_1.7.10-3_source.changes
Debian FTP Masters
Processing of coq-mtac2_1.4+8.19-1_source.changes
Debian FTP Masters
Processing of coqprime_8.19-1_source.changes
Debian FTP Masters
Processing of coq-iris_4.2.0-1_source.changes
Debian FTP Masters
Processing of coq-deriving_0.2.0-2_source.changes
Debian FTP Masters
Processing of ssreflect_2.2.0-1_source.changes
Debian FTP Masters
Processing of coquelicot_3.4.1-2_source.changes
Debian FTP Masters
Processing of mathcomp-bigenough_1.0.1-13_source.changes
Debian FTP Masters
Processing of coq-extructures_0.4.0-3_source.changes
Debian FTP Masters
Processing of coq-interval_4.10.0-1_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-quickchick_2.0.3-2_source.changes
Debian FTP Masters
<Possible follow-ups>
Processing of coq-quickchick_2.0.3-2_source.changes
Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.2.3-3_source.changes
Debian FTP Masters
Processing of mathcomp-finmap_2.1.0-1_source.changes
Debian FTP Masters
Processing of coqeal_2.0.2-1_source.changes
Debian FTP Masters
Processing of mathcomp-real-closed_2.0.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-multinomials_2.2.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-analysis_1.1.0-2_source.changes
Debian FTP Masters
coq-extructures_0.4.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-record-update_0.3.4-2_source.changes REJECTED
Debian FTP Masters
coq-interval_4.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-stdpp_1.10.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unicoq_1.6-8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Request for help to support LoongArch architecture in ocaml source
zhangdandan
aac-tactics_8.19.0-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
coq-dpdgraph_1.0+8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-elpi_2.1.0-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-hammer_1.3.2+8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hott_8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-libhyps_2.0.8-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-menhirlib_20231231+ds-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unimath_20240331-1_source.changes ACCEPTED into unstable
Debian FTP Masters
flocq_4.1.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ott_0.33+ds-3_source.changes ACCEPTED into unstable
Debian FTP Masters
paramcoq_1.1.3+coq8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-equations_1.3-8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-gappa_1.5.5-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-iris_4.2.0-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-mtac2_1.4+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
coqprime_8.19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-linenoise_1.5.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
approx_5.12-2.1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted approx 5.12-2.1 (source) into unstable
Debian FTP Masters
Bug#1059178: marked as done (approx: install systemd units into /usr)
Debian Bug Tracking System
coq-corn_8.19.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ssreflect_2.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-deriving_0.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.2.1-3_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
mathcomp-bigenough_1.0.1-13_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-finmap_2.1.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-zify_1.5.0+2.0+8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.0.3-2_source.changes REJECTED
Debian FTP Masters
coq-quickchick_2.0.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-relation-algebra_1.7.10-3_source.changes ACCEPTED into unstable
Debian FTP Masters
The last update was on 21:40 GMT Tue Apr 30. There are 172 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc