debian-ocaml-maint Apr 2024 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

Stéphane Glondu

Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 16
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 16
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 15
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 09

Amr Ibrahim

Bug#1069049: unison-2.53: Update to 2.53.4 Apr 15

Arnaud Rebillout

Bug#884713: approx: systemd's approx.socket should be configured to not have any trigger limit Apr 22

Bo YU

Bug#1068621: ITP: bisect-ppx -- Code coverage for OCaml and ReScript Apr 08
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 15
RFS: opam Apr 06
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 09
Bug#1054822: opam: FTBFS: sed: can't read opam.install: No such file or directory Apr 07
Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 08
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 14
Re: Bug#1068651: RFS: bisect-ppx/2.8.3-1 [ITP] -- Code coverage for OCaml and ReScript (dev files) Apr 16

Chris Hofstaedtler

Bug#1059178: approx: diff for NMU version 5.12-2.1 Apr 21

Debian Bug Tracking System

Bug#1043934: marked as done (camlbz2: Fails to build source after successful build) Apr 07
Processed: Re: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration] Apr 11
Processed: Apply commands Apr 08
Processed: approx: diff for NMU version 5.12-2.1 Apr 21
Processed: tags 1054822 patch Apr 07
Processed: found 1060134 in 28-1, found 1060134 in 1:1.30.1-6, found 1068698 in 2:2.0-2 ..., tagging 1056608 ... Apr 09
Bug#1059178: marked as done (approx: install systemd units into /usr) Apr 29
Processed: closing 1067267 Apr 11
Processed: tagging 1068709 Apr 10

Debian FTP Masters

Processing of mathcomp-algebra-tactics_1.2.3-3_source.changes Apr 26
mathcomp-zify_1.5.0+2.0+8.16-2_source.changes ACCEPTED into unstable Apr 30
Processing of coq-doc_8.19.1-1_source.changes Apr 26
coq-deriving_0.2.0-2_source.changes ACCEPTED into unstable Apr 30
coq-iris_4.2.0-1_source.changes ACCEPTED into unstable Apr 28
coq-elpi_2.1.0-1_source.changes ACCEPTED into unstable Apr 27
coq-reduction-effects_0.1.5-4_source.changes ACCEPTED into unstable Apr 26
flocq_4.1.4-1_source.changes ACCEPTED into unstable Apr 27
Processing of coq-relation-algebra_1.7.10-3_source.changes Apr 30
Processing of coq-iris_4.2.0-1_source.changes Apr 26
Processing of coq-hierarchy-builder_1.7.0-1_source.changes Apr 26
coq-quickchick_2.0.3-2_source.changes REJECTED Apr 30
coq-unicoq_1.6-8.19-1_source.changes ACCEPTED into unstable Apr 26
coq-quickchick_2.0.3-2_source.changes ACCEPTED into unstable Apr 30
Processing of camlbz2_0.8.0-1_source.changes Apr 08
Processing of coq-quickchick_2.0.3-2_source.changes Apr 30
Processing of ocaml-metadata_0.3.0-1_source.changes Apr 06
coq-relation-algebra_1.7.10-3_source.changes ACCEPTED into unstable Apr 30
Processing of coq-reduction-effects_0.1.5-4_source.changes Apr 26
coq-extructures_0.4.0-3_source.changes ACCEPTED into unstable Apr 26
Processing of coq-ext-lib_0.12.1-1_source.changes Apr 26
Processing of coq-mtac2_1.4+8.19-1_source.changes Apr 26
Processing of ocaml-lastfm_0.3.4-1_source.changes Apr 06
Processing of coquelicot_3.4.1-2_source.changes Apr 26
coq-menhirlib_20231231+ds-3_source.changes ACCEPTED into unstable Apr 27
coq-mtac2_1.4+8.19-1_source.changes ACCEPTED into unstable Apr 28
Processing of coq-gappa_1.5.5-1_source.changes Apr 26
elpi_1.18.2-1_source.changes ACCEPTED into unstable Apr 26
Processing of approx_5.12-2.1_source.changes Apr 21
Processing of coqeal_2.0.2-1_source.changes Apr 26
Processing of ocaml-duppy_0.9.4-1_source.changes Apr 06
coq-hott_8.19-1_source.changes ACCEPTED into unstable Apr 27
Processing of elpi_1.18.2-1_source.changes Apr 26
ocaml-cry_1.0.3-1_source.changes ACCEPTED into unstable Apr 06
ssreflect_2.2.0-1_source.changes ACCEPTED into unstable Apr 29
Processing of bisect-ppx_2.8.3+dfsg-1_amd64.changes Apr 16
coq-doc_8.19.1-1_source.changes ACCEPTED into unstable Apr 26
Processing of coq-simple-io_1.9.0-1_source.changes Apr 26
Processing of aac-tactics_8.19.0-1_source.changes Apr 26
coqprime_8.19-1_source.changes ACCEPTED into unstable Apr 28
Processing of coq-reglang_1.2.1-3_source.changes Apr 26
Processing of mathcomp-finmap_2.1.0-1_source.changes Apr 26
coq-ext-lib_0.12.1-1_source.changes ACCEPTED into unstable Apr 27
Processing of coq-stdpp_1.10.0-1_source.changes Apr 26
coquelicot_3.4.1-2_source.changes ACCEPTED into unstable Apr 30
bisect-ppx_2.8.3+dfsg-1_amd64.changes is NEW Apr 16
Accepted approx 5.12-2.1 (source) into unstable Apr 29
mathcomp-finmap_2.1.0-1_source.changes ACCEPTED into unstable Apr 30
Processing of coq-menhirlib_20231231+ds-3_source.changes Apr 26
Processing of coq-extructures_0.4.0-3_source.changes Apr 26
ocaml-lastfm_0.3.4-1_source.changes ACCEPTED into unstable Apr 06
coq-stdpp_1.10.0-1_source.changes ACCEPTED into unstable Apr 26
Processing of coq-interval_4.10.0-1_source.changes Apr 26
paramcoq_1.1.3+coq8.19-1_source.changes ACCEPTED into unstable Apr 27
approx_5.12-2.1_source.changes ACCEPTED into unstable Apr 29
Processing of ocaml-cry_1.0.3-1_source.changes Apr 06
Processing of coq-unicoq_1.6-8.19-1_source.changes Apr 26
Processing of coq_8.19.1+dfsg-1_source.changes Apr 26
Processing of coq-corn_8.19.0-1_source.changes Apr 26
coq-equations_1.3-8.19-1_source.changes ACCEPTED into unstable Apr 28
ott_0.33+ds-3_source.changes ACCEPTED into unstable Apr 27
Processing of coqprime_8.19-1_source.changes Apr 26
Processing of mathcomp-real-closed_2.0.0-2_source.changes Apr 26
Processing of coq-dpdgraph_1.0+8.19-1_source.changes Apr 26
Processing of paramcoq_1.1.3+coq8.19-1_source.changes Apr 26
coq_8.19.1+dfsg-1_source.changes ACCEPTED into unstable Apr 26
Accepted coq 8.19.1+dfsg-1 (source) into unstable Apr 26
Processing of coq-libhyps_2.0.8-3_source.changes Apr 26
coq-hierarchy-builder_1.7.0-1_source.changes ACCEPTED into unstable Apr 28
Processing of mathcomp-bigenough_1.0.1-13_source.changes Apr 26
ocaml-linenoise_1.5.1-1_amd64.changes is NEW Apr 24
Processing of mathcomp-analysis_1.1.0-2_source.changes Apr 26
coq-record-update_0.3.4-2_source.changes REJECTED Apr 26
Processing of coq-hammer_1.3.2+8.19-1_source.changes Apr 26
Processing of ssreflect_2.2.0-1_source.changes Apr 26
Processing of coq-relation-algebra_1.7.10-3_source.changes Apr 26
Processing of coq-equations_1.3-8.19-1_source.changes Apr 26
ocaml-duppy_0.9.4-1_source.changes ACCEPTED into unstable Apr 06
Processing of coq-hott_8.19-1_source.changes Apr 26
mathcomp-bigenough_1.0.1-13_source.changes ACCEPTED into unstable Apr 30
Processing of ott_0.33+ds-3_source.changes Apr 26
camlbz2_0.8.0-1_source.changes ACCEPTED into unstable Apr 07
ocaml-ffmpeg_1.1.11-1_source.changes ACCEPTED into unstable Apr 06
coq-bignums_9.0.0+coq8.19-1_source.changes ACCEPTED into unstable Apr 27
coq-corn_8.19.0-1_source.changes ACCEPTED into unstable Apr 29
Processing of flocq_4.1.4-1_source.changes Apr 26
ocaml-linenoise_1.5.1-1_amd64.changes ACCEPTED into unstable Apr 28
coq-math-classes_8.19.0-1_source.changes ACCEPTED into unstable Apr 28
Processing of mathcomp-multinomials_2.2.0-2_source.changes Apr 26
coq-reglang_1.2.1-3_source.changes ACCEPTED into unstable Apr 30
coq-libhyps_2.0.8-3_source.changes ACCEPTED into unstable Apr 27
aac-tactics_8.19.0-1_source.changes ACCEPTED into unstable Apr 27
Processing of coq-bignums_9.0.0+coq8.19-1_source.changes Apr 26
coq-simple-io_1.9.0-1_source.changes ACCEPTED into unstable Apr 28
coq-hammer_1.3.2+8.19-1_source.changes ACCEPTED into unstable Apr 27
coq-relation-algebra_1.7.10-3_source.changes REJECTED Apr 30
Processing of coq-unimath_20240331-1_source.changes Apr 26
Processing of coq-math-classes_8.19.0-1_source.changes Apr 26
coq-interval_4.10.0-1_source.changes ACCEPTED into unstable Apr 26
ocaml-metadata_0.3.0-1_source.changes ACCEPTED into unstable Apr 06
Processing of mathcomp-zify_1.5.0+2.0+8.16-2_source.changes Apr 26
coq-dpdgraph_1.0+8.19-1_source.changes ACCEPTED into unstable Apr 27
Processing of ocaml-linenoise_1.5.1-1_amd64.changes Apr 24
Processing of coq-elpi_2.1.0-1_source.changes Apr 26
Processing of ocaml-ffmpeg_1.1.11-1_source.changes Apr 06
coq-gappa_1.5.5-1_source.changes ACCEPTED into unstable Apr 28
Processing of coq-record-update_0.3.4-2_source.changes Apr 26
Processing of coq-quickchick_2.0.3-2_source.changes Apr 26
coq-unimath_20240331-1_source.changes ACCEPTED into unstable Apr 27
Processing of coq-deriving_0.2.0-2_source.changes Apr 26

Debian testing autoremoval watch

ocaml-cpu is marked for autoremoval from testing Apr 06
ocaml-cpu is marked for autoremoval from testing Apr 26
ocamlrss is marked for autoremoval from testing Apr 06
ocamlnet is marked for autoremoval from testing Apr 26
ben is marked for autoremoval from testing Apr 06
ocaml-parany is marked for autoremoval from testing Apr 06
ocaml-lastfm is marked for autoremoval from testing Apr 12
mlpcap is marked for autoremoval from testing Apr 11
ocaml-parany is marked for autoremoval from testing Apr 26
pxp is marked for autoremoval from testing Apr 06
meta-ocaml is marked for autoremoval from testing Apr 06
approx is marked for autoremoval from testing Apr 08
ocamlnet is marked for autoremoval from testing Apr 06

debian-bts-link

[bts-link] source package src:liquidsoap Apr 25

Julien Puydt (@jpuydt)

[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.19.1 Apr 15
[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.19.1.orig.tar.gz Apr 15
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.19.1-1 Apr 15
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.19.1 Apr 15
[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.19.1 Apr 15

Kyle Robbertze (@paddatrapper)

[Git][ocaml-team/ocaml-lastfm][pristine-tar] pristine-tar data for ocaml-lastfm_0.3.4.orig.tar.gz Apr 06
[Git][ocaml-team/ocaml-lastfm] Pushed new tag upstream/0.3.4 Apr 06
[Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.4-1 Apr 06
[Git][ocaml-team/ocaml-cry] Pushed new tag upstream/1.0.3 Apr 06
[Git][ocaml-team/ocaml-cry][master] 3 commits: New upstream version 1.0.3 Apr 06
[Git][ocaml-team/ocaml-cry][upstream] New upstream version 1.0.3 Apr 06
[Git][ocaml-team/ocaml-duppy] Pushed new tag upstream/0.9.4 Apr 06
[Git][ocaml-team/ocaml-duppy][pristine-tar] pristine-tar data for ocaml-duppy_0.9.4.orig.tar.gz Apr 06
[Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_1.0.3.orig.tar.gz Apr 06
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-1 Apr 06
[Git][ocaml-team/ocaml-lastfm] Pushed new tag debian/0.3.4-1 Apr 06

Ralf Treinen (@treinen)

[Git][ocaml-team/camlbz2] Pushed new tag upstream/0.8.0 Apr 08
[Git][ocaml-team/dose3][master] update debian/watch Apr 10
[Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-1 Apr 08
[Git][ocaml-team/camlbz2][pristine-tar] pristine-tar data for camlbz2_0.8.0.orig.tar.bz2 Apr 08

Steve Langasek

Bug#1066654: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration] Apr 11

Vincent Lefevre

Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Apr 19

Wookey

Bug#1068709: dose-extra: Typo in /usr/share/doc/dose-extra/README.architecture Apr 09

zhangdandan

Request for help to support LoongArch architecture in ocaml source Apr 27

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]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc