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